Flatten Semantics (remove CheckedBehaviors)
Cleanup dependency data structures
Get rid of unnamed tuple in CompleteClasspath
Fix #1244: Track and verify required semantic compliance