3 commits

Author	SHA1	Message	Date
lcnr	c71484eefd	change error messages to be incorrect, but more helpful	2024-02-22 18:18:33 +01:00
lcnr	49dc0f22f4	do not use <: in subtyping overflow msg	2024-02-22 17:43:59 +01:00
Matthew Jasper	942e93972d	Handle recursion limit for subtype and well-formed predicates	2023-12-01 17:25:02 +00:00