Some Javadocs, some renames.
A new package for experimental features, plus an experimental format for prolog fact bases.
ToStringFormat calls toString on any object.
Approved text for IOTest.
A configurable TypeDirectedDifferenceReporter.  Used for now in the JUnit rule.