Allow generic constraints referencing other generic parameters

[ssalbdivad]

This would allow constraints like:

type("<t, k extends keyof t>", ["t", "k"]);

As is, this would fail to parse as t is not considered in scope when parsing a constraint.