Unify: U type alias
checkHoleConstraints only checks hole constraints. applyHoleConstraints applies them