First-class handlers, but no handler stacks yet
Factor out protocols & syntax in to namespaces
Reified effects, handlers, and working handler stacks