Preparation of substitution of data types

ProductCategoryMorphisms -> List of morphisms
ProductCategoryObjects -> List of objects
Step1  of data type exchange

modified UniversalObjects.g*
Step2 of type change

adjusted accurences of Products.