ddc-core-flow: add reduce op and reorg
ddc-core-flow: schedule reductions
ddc-core: wrap witnesses in {} instead of <> to reclaim angle brackets
ddc-source-tetra: start defixing prefix applications
ddc-source-tetra: work on defixer
ddc-source-tetra: handle infix ops used as vars
ddc-source-tetra: get basic defixing working
ddc-source-tetra: skip unfinished defixer tests
ddc-core-flow: kernel scheduling for reduce
ddc-core-flow: bind the zero value in reduce
ddc-core-flow: more kernel scheduler tests
ddc-core-flow: docs only
ddc-core-flow: reorg scalar scheduler
ddc-core-flow: refactor scalar scheduler to be more like flow paper
ddc-core-flow: add scalar fill and fill tests
ddc-core-flow: schedule scalar reduce
ddc-core-flow: refactor scalar scheduler
ddc-core-flow: schedule scalar gather and scatter
ddc-core-flow: rename OpLoop -> OpControl
ddc-core-flow: destroy SeriesEnv module