Various logging tweaks
Just altering some levels to get more useful debugging out of case block
elaboration and coverage checking
Change default specialisation behaviour to not unfold names
Add syntax for transformation rules
%transform lhs ==> rhs
Unbound names on the lhs are treated as patterns.
Transformation behaviour not yet implemented.