WHO BROKE THE RENAME OPERATORS? Just fixed

Someone wrapped the list of operands with make-quaternion. Just removed.