Text this: Congruence Closure Modulo Groups