This is the module covering anything related to rotations in 4d. So far this is quite limited in scope.