(* BUG: it inserts a compesoed coercion instead of an hand made one,
what to do? prefer the human made one or allow to kill a coercion?
*)
(* BUG: it inserts a compesoed coercion instead of an hand made one,
what to do? prefer the human made one or allow to kill a coercion?
*)