Cleaning up Quaternion.rkt