Pre-translation step performed by ATJ: removal of return-last.
This is done in both the deep and shallow embedding approach.
We selectively remove the
These are the only return-last forms that make it through input validation. Note that the non-last arguments of prog2$ and progn$ are checked to be free of side effects by ATJ, and thus their removal is safe and semantics-preserving.