No separate Heap type is necessary; JS is isomorphic to SM's Heap.