Parse successful.
sign: (set0 -> set1)
body: (\ Sum {name: [0]})
sign: Sum {label: set1, label2: set0}
body: (@label set0)
Checkmate, dram!