fixed bug where congruence values were not being correctly generated and
used.
improved logging (by adding "when" parameter)
replaced System.out with System.err when appropriate
Rewrote the javadoc for all classes
removed the boat from the view..