Rule Applications as Cycles in a Level-Free Syntax