Various checks (type-, sanity-, etc.) performed on the ABL AST.