The type system needs to be extended to represent information about non-escaping
objects computed by escape analysis.
The type sytem will be changed to add a new class of types for "unique instances."
These are objects which we have determined are unique and cannot alias any other
objects, even objects of the same type.