because collection type checking expands what `TypeConstraint`s are able to do, and we have the capability to more cleanly do things like that when we can decouple it from engine stuff