Added class predicate mechanisms to implement easier Transform use
+> generalization in ++> archieved