Workstacks: Must finish definitions-systems before lispy-format.