Changed handler coercing from '[x type]' to 'x :- type' and reworked coercers.