Until I can spec this out properly, I’ll just quote from “Unwanted Software Thoughts Syndrome”
TypeLib is essentially
A library of other useful data structures, probably developed as a side effect of M-Strings and using similar memory managed techniques.