Accept test output
source tetra: add more tests
ddc-core: start threading expected type through checker
core: add hole detection to profile
source tetra: accept test output
core flow: allow RateNat witness to be any parameter in vector scheduler
core flow: fix haddocks
Removed trailing whitespace in ddc-core-flow Thread.hs
Implemented generic tuple arity in Thread transform fixing #308
core flow: follow DaCon changes
core: rename checker modules
core: splitting up type checker
core: finish type checker split
core: fixup cabal file
core: emit source locations in exp error messages
core: make XType and XWitness also have annotations (finally!)
core: takeAnnotOfExp always does now
core: more source pos