remove dependency on ConstraintKinds extension

I inlined the constraint alias definitions to avoid the dependency on
ConstraintKinds language extension.