Make `euclid` a library function rather than a class method
Give `degree` and `splitUnit` default implementations for `Division` instances
Add missing instances for `Fraction`

They're all for free thanks to default implementations for `Division`
instances.