(begin) --> #u ; (begin E) --> E (begin (E:Es)) --> (begin E (begin Es))
(if test yeah) --> (if test yeah #u)
(while test body) --> (letrec ((loop (...))) loop)