Many improvements to the gc modeling. In short, anything returned from an alloc call is not passed back to the free call for that object. Method definitions are now checked for correctness. The simple malloc allocator is closer to doing what it's supposed to on all fronts.