Replace RigidBodyMotion by ProductManifold
RigidBodyMotion is just a special case of a ProductManifold. There is no need for a separate implementation.
RigidBodyMotion is just a special case of a ProductManifold. There is no need for a separate implementation.