Unification—an overview