Java backend: added documentation for KCollection
Java backend: more documentation; started to document the most complex SymbolicUnifier before incorporating cell sorting
Java backend: refactoring: renamed KCollection#items to contents in order to shadow Collection#contents