also relevant would be converting `TypeConstraints...
# development
w
also relevant would be converting
TypeConstraints
into just lists of TypeIds (preferably)