a much more minimal conversion to using lets:

instead of the a-normal form only convert calls and ifs into nested lets
(not fully serialized). works well for the append test and doesn't mess
up countdown.