Compute live locations
Add gc
Use primitive addresses, that cannot be reclaimed by the gc
Update env before evaluating the values in letrec
Use multiple verbosity levels
Use the correct store in letrec
Add parameters: -k to change polyvariance, -gc to turn on abstract garbage collection
Run the tests with k = 0 and k = 1 (gc remains disabled because it doesn't work yet)
Update usage and README