Align the heap after allocation
Change primitive operations to closures
Remove unused code
Compute free variables in lambdas automatically
Change primitive ops to special variable bindings