if and letrec support
multi arg support for lambda call-exp and letrec
infer parser