Moved OldOps.rkt inside of Quaternion.rkt HA