Java backend: minor: revised some method signatures
Java backend: experimental implementation of the semantic equality _=K_
Java backend: minor
Java backend: implemented a new version of Term#evaluate which takes into account that a formula can be generated during function/predicate evaluation
Java backend: implemented narrowing for map lookup in the (hopefully) correct place this time
Java backend: minor: some more documentation
Java backend: removed a useless and (probably) misplaced class
Java backend: minor: added TODO comment
Java backend: moved Utils class to util package
fixed .classpath for eclipse again
Java backend: testgen: reverted my previous attempt to implement narrowing in MapLookup because MapLookup will be eliminated in the future
ktest - first try for issue #209
Java backend: minor: cleaned up some mess and added some documentation
Java backend: added some documentation
Java backend: more documentation
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
Java backend: more documentation and some refactorings
Java backend: attempted to fix a (potential) bug in complex binder unification