Fix bugs related to the use of parametric types

More specifically, this commmit fixes the promotion rules so that
basic arithmetic works again.
It also removes the option to define the precision of an operation
with an extra argument, as this will be handled in a different
manner.
Add `copysign` for MPFRFloats