Preparations for external constraints in the type checker