The symbols in the TypeSystem` context are clearly used for working with Datasets, but they seem powerful. I was hoping that someone could help explain how they work and is they are useful for anything in particular?
Some of them seem very very useful for synthesizing examples and fodder for testing functions:
But many others are more cryptic (e.g. ShallowConformsQ)...