Add to our source file

additionCommutes a b = a + b == b + a

Then reload and run 500 tests

Main> :reload
Ok, modules loaded: Main.
*Main> check ourConfig additionCommutes
OK, passed 500 tests.