Fix unreachable values in store
Add name information to properties
Go back to m = 1, as all the tests pass
Fixing GC to follow the new address scheme