`supers` should be `ClassConstraint` as they seem fundamentally a different concept.

[gnumonik]

          TODO(@gnumonik): `supers` should be `ClassConstraint` as they seem fundamentally a different concept.

Originally posted by @bladyjoker in #36 (comment)

[bladyjoker]

Done