Finished NotationTester refactoring. Added mul and tests with mul.