Fix for sealing
More types
Use private fields instead of public ones
Support pubment and augment methods

This required changes to the type and row
representation. I also got rid of the redundancy
between Row and Class types.

Some other bugs had to be quashed for these
changes, such as private methods not actually
being type-checked.