WIP: New dependency and nest constraint semantics development

MOVED TO GITHUB PULL REQUEST HERE

This branch accumulates changes related to the updates to the loopy dependency and loop-prioritization semantics.