Update

I made quaternion-diff and quaternion-div work, but in a bit of an ugly
way. If you think of any better way to do it, go ahead and change it.

Also, your quaternion-prod doesn't work for more than two arguments. So
you know.