Implemented letrec. Noticed bug with sequence-exps that precludes proper evaluation.