Type--metaphysics