Returns the biggest type of a set of onions; useful for “promoting” a set of onions to the most general type.
If any argument passed to
biggest() is an octonion, then return
the string “octonion”. Failing that, if any argument is a quaternion,
return the string “quaternion”, and failing that, return
Robin K. S. Hankin