Final pre function type

This is the final commit before function type support was added,
requiring a large rearchitecture.

Final commit before merging in refcount gc

There were some tradeoffs as part of this, including no
longer having Copy on LpcVar (now called LpcRef) and making
data structures more complex, but we are getting "free"
garbage collection out of it, so we accept this trade, for now.