[kisoron-ml] an enriched category theory of language