Fix free-variables calculation
Implement letrec splitting
desugar cond
Add guess example, some primitives
More primitives
Support for symbols