Revising dependency resolution semantics. Bake should disallow cycles, instead using possibly-cyclic ungrounded rules for this purpose.