Added start of code for binaryRelations, and start of some units tests, including some that check for exceptions