Ontological Type System