Resugar letrec back to define
Escape \n in strings
Eliminate (check (or #t ...))
Intelligent merging of checks floated through let