handle partially-applied tycons

see tests/pos/partial-tycon.hs, which would previously crash in Constraint.splitCIndexed