simplified Real traits more, removed MathematicalString and unified many operation functions
Merge remote-tracking branch 'origin/develop-MW' into develop-JK