Classical And Quantum Effective Theories For Gravitating Spinning Bodies