Flatten Semantics (remove CheckedBehaviors)
Cleanup dependency data structures
Get rid of unnamed tuple in CompleteClasspath
Fix #1244: Track and verify required semantic compliance
Merge pull request #1245 from gzm0/required-semantics

Track and verify required semantics