
- To be done
- Deal with proper description of the location of the error. For short
texts, we allow for Type(Text), meaning Text is not a valid Type. E.g.
syntax_error(number('1a'))
means that1a
is not a valid number.

//
- throws
error(syntax_error(Error), Location)