More compositional heapification.
Better idea: annotate define-language types to "heapify." Any upcasts are alloc/store. Downcasts are reads.
For posterity.
Heapify and outdated allocation rules.
THeap now has a tag field for annotated expressions' types. Coercions are auto-inserted now. Derefs seem to immediately get stored into another address? Must solve this.