Text this: Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties