Implement fusedMA/squareRoot over SFloat/SDouble

Also make these types instances of the Floating class; where most
functions only work on constants. (SMTLib doesn't support
transcendentals..)