ERP5Type: introduces 'type_definition', a grouping type to identify portal types defining other types

ie: Base Type and portal types of portal types