simplified Real traits more, removed MathematicalString and unified many operation functions