Overview of the types metamodel