Simplification turns a canonical schema into the internal representation used by the library.
Simplified schemas are the objects the library uses for meet, join, neg, and compatibility checks.
Enter a schema and inspect the schema the library creates from it.