The Type Concept in OODB Modelling and its Logical Implications