Refactored MX simplification of BinaryMX, #627
Added simplification of multiplications with -1, #627
More refactoring of getBinary, #627
Revert "More refactoring of getBinary, #627"

This reverts commit a4d80e0082930a41ba07b8ec0e0521d716b4026b.
Concerning #627
Concerning #627: Simplification of pow(.2) and moving constant arguments to the front
Fixed unit test (that should arguably be removed)