Well, "constraint" is a very abstract word. What you're describing are still constraints, they're just complex constraints. The type vs. no type argument is ba

Well, "constraint" is a very abstract word. What you're describing are still constraints, they're just complex constraints. The type vs. no type argument is basically: what's the cutoff line for constraints that are worth encoding as types or not?