In the notes, redesigned value-level definitions to support predicative polymorphism. Most of the mechanisms are in a new fragment, the knowledge query fragment, and we're essentially using a metaphor of defining whole schemas of knowledge all at once.