DataType : GenericType >>
 GenericType : _
 ...
;

!GenericType :: Behavior >>
 ...
;

!Behavior >>
 ...
;
