[logic-ml] an enriched category theory of language