Don't Inline All Functions

[gilbo]

This requires having some kind of functional call abstraction that's consistent, along with function types of some sort in the typechecker. The function call abstraction is complicated because there are a lot of implicit arguments to handle passing all of the fields that need accessing.