Some work on object representation
Represent signatures in type context
Some work on heap allocation
Work on typeof() and addressof()