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