Ask HN: Type systems in natural languages?

After learning Chinese and reading through Aditya Mukerjee's "করো: Translating Go to Other (Human) Languages, and Back Again" [slides][0] from Golang 2017, I was reminded again of the curious resemblance of [Chinese classifiers][1] (especially measure words) to a type system of sorts.

I was wondering if anyone here had done any reading on comparisons, what we can learn, or whether any experimental programming languages had been implemented using natural language classifiers.

[0]: https://speakerdeck.com/chimeracoder/kro-translating-go-to-other-human-languages-and-back-again-golang-uk-2017

[1]: https://en.wikipedia.org/wiki/List_of_Chinese_classifiers