When checking Type or Value type constraint, one has to check whether certain classes belong (via "instance of" or "subclass of") to another class. The inheritance chain changes seldom, and checking thers constraints is expensive regarding performance. It probably makes sense to save, whether a certain class belongs to another class and update this information periodacilly.