From Set to Hyperset Unification