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.
Looks like this happened already a while ago and I missed it!