@fmma-npm/unify (npm): Unification algorithm
Keywords: unification