Common trait for TypPtn and Context;
Replaced typ by apply and no fixed final typ in context.
Still incorrect Context.empty, with a role in recursion.
Context.empty changed; possibly new errors created
fixed application, empty context still wrong
contexts now refined, compiles but should check