To help make errors clearer, Pkl should emit diagrams that explain why type constraints fail, or why test facts fail. SPICE: https://github.com/apple/pkl-evolution/pull/29 PR: https://github.com/apple/pkl/pull/1384