Use functions to/from Real to make arbitrary instance of Trig, NRoot, etc

[non]

If a type can be mapped to/from a Real, we should be able to implement any of Real's type classes in terms of that type. The same goes for Rational and SafeLong.