Revert last patch---it was a bad idea.

Even though multiplication of Rotations is the same thing
as multiplication of Quaternions, in the first case the
output is a Rotation class, and in the second on a Quaternion
class.

[[Imported from SVN: r8343]]