Coercions in branching expressions (if and match)
Coercions are not attempted when typing branches of if and match, e.g
use import int.Int
type byte = < range 0 255 >
meta coercion function byte'int
goal g : (if true then 2 else (3:byte)) = 4
should be well-typed