Text this: Internal axioms for domain semirings