multi-argument application
desugaring let*
changed representation of closure types (as function in meta-language
instead of explicit env+expr pair)
working simple letrec
merged conflicts