observations I'm not terribly sure about:

• Kont is also Storable along with Value(Env); atomic evaluation can yield Kont
• the adj "abstract" in abstract time-stamped cesk* means we use stack data structures in tick and alloc instead of first-class functions
• https://smlhelp.github.io/book/docs/concepts/control-flow/cps is a valuable resource
  • may have the breadth for an instructive material, but writing style is uninspiring
• "compositional interpreter" is umbrella term for interpreters born from maths/fp