Basically I think though my latins rusty it reads like google translate in that the form seems wrong like someone transliterated English to Latin and ignored Latin grammar and logic in that Latin speaking people in Latin really doesn’t exist in the same way. Latini I think was only the subgroup of Latin speakers in Italy named Latium, either way not how a Roman Latin speaker would refer to a Latin speaker in general, not that the concept existed in the same way.

https://en.wikipedia.org/wiki/Latium

It’s kind of like translating Japanese directly into English, reads off if you say in the room there are many chair in English kinda deal.

Yeah this only really applies to Algol style imperative languages. Dependent types and say stack languages like idris and apl are dramatically different in their underlying axioms.