When writing checks it is easy to add typos to withSlicing() and allow(). It would be helpful for me * if degraph would issue a warning when pattern (either anonymous or named) doesn't match any class * if an allow references a name that doesn't exist Thanks!