Commit updated docs
Remove generated files
Make sure unification variables count as bound in abstractions. Fixes let bindings.
Make multiple bindings in a Let expression share a single node in the AST
Implement checking top level statements in terms of one generalized let-binding which significantly simplifies matters.