s/formals/formal/g
refactor macroexpand_define. make use of macroexpand_lambda function
refactor macroexpand_lambda