Ord a => Order a
Added arbitrary instance for Tensor and Hom
Moved so3 and test into Quaternion
Added support for algebra instances