Text this: Quantitative Equality in Substructural Logic via Lipschitz Doctrines