Make IfaceAxiom typechecking lazier.