Text this: Order-Sorted Equality Enrichments Modulo Axioms