Expanded the documentation and fixed some parameter orderings which should not matter under symmetric relation predicates, but could break correctness in case of asymmetric relations.
0.1.1