Update state struct
Remove env from extend, frame pointers are enough
Add label store, extender and lookup
Update apply-kont to use fp instead of environment
Add atomic expression evaluator and atom?
Separate state struct, add goto, nop, label