New: Ported unification to latest unification-fd