> Pick a list of ~100 categories to be your “type” system, and optimize over this choice of categories so that they compactly express any entity
So it's not generic then.
So it's not generic then.
Even up to 4 categories means you can describe 100 million different expressions.
I think that means this number of different categories make description generic enough.
However, for the task of disambiguating ambiguous words, you don't need that many categories. You only need to make sure that most different meanings of each word are in different categories. Given that most words have a very low number of alternate meanings, finding a good categorization to distinguish them isn't too hard.