type (metaphysics)