Changed if-else to switch in MX simplification, #627
Concerning #627: Added simplifications for OP_POW. Note: commented out some (ill-posed) unit tests
Concerning #686: Added more MX simplifications, including sq(-x)->sq(x)