Higher-order Metaphysics