final?: false
eval: "Succ[prev: Succ[prev: Succ[prev: Succ[prev: Succ[prev: Zero[]]]]]]"
refactor:
- label: rename-succ
  action: rename-record Succ Next
- label: rename-add
  action: rename-record Add Zero
  warnings:
  - "line 3, columns 1 to 5: old symbol conflicts with new symbols: Zero"
  - "line 8, columns 8 to 12: old symbol conflicts with new symbols: Zero"
  - "line 14, columns 39 to 43: old symbol conflicts with new symbols: Zero"
  - "line 15, columns 28 to 32: old symbol conflicts with new symbols: Zero"
- label: bad-rename-wrong-args
  action: rename-record Succ Zero Nat
  error: 'expected 2, got 3 for refactor action: rename-record; args: Succ, Zero, Nat'
- label: bad-action
  action: renameq-recordq Succq Nextq
  error: 'unsupported refactor action: renameq-recordq; args: Succq, Nextq'