WRITING: Write a section on confluent laws

[teorth]

Define a confluent law, give an example, and note that it describes the free magma for that law and thus determines all possible implications. Also describe an algorithm for determining confluence and give statistics of how many of the 4692 equations are confluent. One can give references to existing literature on term rewriting.

[codyroux]

claim