Add infrastructure for local field access
Refactor local table construction
Refactor method type-checking
Refactor local environment mapping
Add support for local field access
Add infrastructure for private methods

They don't actually work yet, because I don't yet know
how to assign them types for when they're called locally.
Probably requires the two pass approach for locals.