Follow syntax changes in demos
Unbreak factorial test
Split type checker config into own module, and make type/kind checker eat it
Add supers of kinds to profile
ddc-core-flow: Add type of more primops
ddc-core-flow: Add more primops for diamond dependenency example
ddc-core-flow: swap order of type args in flow primops
ddc-core-flow: add quickhull kernel test
ddc-core-flow: add toStream primop