Implemented letrec with syntax-expand