displaying range literals need coercions
in a goal a constant like (42:byte)
is displayed as 42
without coercion
in particular it is not parseable
in a goal a constant like (42:byte)
is displayed as 42
without coercion
in particular it is not parseable