adding PVKind
sigh.
sigh.
onto Constraint.hs