Unification and Matching in an Abelian Group