Text this: Computable embedding of classes of algebraic structures with congruence relation