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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information