Java backend: more documentation and some refactorings
Java backend: attempted to fix a (potential) bug in complex binder unification