Typing rules for the type synonym part of a data definition

A data seems to be checked correctly (only for conditions related
to the type synonym). It has not yet been automatically verified.
Another rule for ADT-CA...