A Unified Theory of Stochastic Proximal Point Methods without Smoothness