simplification of stuff around Let
run bubble sort test
remove the let frames introduced by If and Call

when they are no longer needed, just pop them