While there is no runtime cost for an
(if true x) instead of
x, the compiler output would be more readable if it were optimized away by the
if special. Similarly the
(if x x-body true y-body) could be turned into
(if x x-body y-body) instead.
This would make certain macros a little simpler.