Similar Items: Quantitative Equality in Substructural Logic via Lipschitz Doctrines