* [DOYLE,DOC] Added lots of documentation to the main algoirithm.
* [DOYLE,EXT] Many fixes to and extensions of the main algorithm and its helper predicates. Simple TMSes are now created and exported. (To be tested.) Circular clauses have not been added yet.