More correct support of blocks and valdefs
Rename contextFromEnclosingIdiom to contextFromEnclosure
Map over modifiers and tpt of ValDef when rewriting expression within a block
Add state monad and stack stack language primer as a spec
Add aliases for some instances