type Type.warn +=
Warning for expressions which tecnically do not respect the strict spec but respect the large spec.*)
Arithmetic type-checking warnings
type Type.err +=
Error for expressions which do not respect the spec.*)
Error raised when an arithmetic type was expected (i.e. either int or real), but another type was found.*)
Additional errors specific to arithmetic typing.