Merge branch 'new-dependency-and-nest-constraint-semantics-development' of...

Merge branch 'new-dependency-and-nest-constraint-semantics-development' of https://gitlab.tiker.net/inducer/loopy into new-dependency-and-nest-constraint-semantics-development