jdsteve2

(PR currently just for comparison. This will eventually be merged into [new-dependency-and-nest-constraint-semantics-development](https://github.com/inducer/loopy/tree/new-dependency-and-nest-constraint-semantics-development) after `scheck-new-dependencies-against-sio` is merged.) Given a loopy kernel with legacy dependencies, create dependencies of the new formalized kind....