Cps anns, new shifty-cases, context-extension explicit typing.