Module minitt::check::subtype

Subtyping check: fallback rules of "instance of" checks: infer the expression's type and check if it's the subtype of the expected type.

Depends on modules syntax and read_back.

Functions

check_subtype	Check if subtype is the subtype of supertype.
check_subtype_sum	Extracted from check_subtype to reduce indentation (but this function requires improvements).
compare_normal	Read back the type values and do syntactic comparison.