Fixpoint.Types checks