Subcontext fixes and formatting
Added type-erased parser, tests and examples