Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support