Tracking issue for HeapLang interpreter
This is the tracking issue for the HeapLang interpreter added in !564 (merged). A tracking issue is where we track and discuss what still needs to happen to make a module move to Iris proper.
- Generalize the monad and move it to std++, and generalize the tactics for the monad.
- Find some way to avoid the
pretty_stringinstance, or move it to std++.