type_dag: TypeConstraintDAG = ...