The idea that there should be a sufficient number of types is misleading. As time goes forward, there will be new situations and experiences to understand, sometimes changing what was previously known or thought to be known, sometimes making what was known no longer existent, and finding things that were previously unknown.
The types, the functions, represent forms in the
Theory of Forms. For example, from that link,
Human Perception
Perfection
These forms help create meaning, meaning which does not always need to be existent, and meaning that could take an infinite amount of forms as space-time and the metaphysical observing life contained within it, does its thing. Socrates solution to Meno's Paradox illustrates this (
http://en.wikipedia.org/wiki/Meno):
One could say this is evolution and the soul being the process of unfolding as a part of a cosmic whole that allows us to reincarnate, even if we aren't literally transferring a concrete entity to do so, but rather our forms.
The types are tools for meaning, meaning which has its place and also
doesn't have its place. New meaning can take precedence over the old meaning and even invalidate it.
And so...you want there to be 'enough types'? Then, I don't think you even appreciate what the types are as tools because you expect to use them to understand people in the future, without having to experience that future first -
to be enough.
What creates this desire? A fear? Do you...at least... follow what I presented here?