Add a constraint synonym to simplify signatures

Most functions accepting objects have constraints of the type
(ManagedPtr o, GObject o, LabelKlass o) => ...
Add a constraint synonym LabelK so that the constraint becomes simply
LabelK o => ...
This introduces a requirement on the ConstraintKinds GHC extension.