Update Quaternion.rkt