Added grouptype without change of instance tree.
Added groupIdentityFromInferringTypeS.
Adapted instance tree to instance groups.
Some commit.
Fixed search of instance groups and addition of instance groups.
Fixed.
Fixed.
Amended tests for instantiator.
Fixed.
Fixed.
Added test for grouptype.
Fixed.
Added test.
Added tests for the group types.
Changed sugar of datatype.