_as/from_tuple in unify
assoccomm uses unify _as/from_tuple