typing of transformation argument should not ignore coercion
In a context like
use import int.Int
type byte = < range 0 255 >
meta coercion function byte'int
goal g : ...
one should be able to something like
cut (3 = (4:byte))
Instead, we get: Parsing error: This term has type byte, but is expected to have type int