Tangent bundles, monoidal theories, and Weil algebras