simplified Real and operation traits
(added missing files in last commit)
Merge remote-tracking branch 'origin/develop-MW' into develop-JK