Smooth Infinitesimals in the Metaphysical Foundation of Spacetime Theories