Text this: Enriched support for ring constraints