References to, includes from, and redirects to Type checking

Date	Name	Who	What
2022-04-11 10:20:26	Assertions	pooryorick	reference
2022-04-11 10:26:42	Constraining variables	pooryorick	reference
2019-08-11 16:46:30	RS	pooryorick	reference
2025-11-30 13:36:42	type	FM	reference