Added support for complex binder unification.