How about changing `extend(env.heap)` to `importHeap(env)` and `pushFrame.extend(env)` to `pushFrame(env)`?