Reinstate a corrected version of leave-elimination.
Optimize applications in tail position.