core: thread expected types down in core checker
core: pass actual Direction type to checker
ddc-core: refactor checker for abstractions
core: docs only
core: thread input and output contexts through checker
core: store types in context in checker
core: thread context into kind checker
core: add more context utils
core: store kinds of types in context
core: fold kenv and tenv into the table during checking
core: main proper contexts for abs, app, cast
core: more use of context in let checker
Changed some `mod` to `rem` as an optimization
Removed trailing whitespace in Prim.hs and Layout.hs
Whitespace changes in ddc-core-simpl AnonymizeX.hs
core flow: select tail of output vectors in vector scheculer
core: thread checker context through other node checkers
core: make checker monad also hold state
core: define seprate Recon/Synth/Check modes for abs
Fix file paths in the testsuite to be consistent between hosts