More Work

Letrec working a little better. Just need to implement closures.