Fix packages
core flow: propagage lowering errors
source tetra: add expand boilerplate
source tetra: rejig names to based them on salt prim names
source tetra: break loop in expand
core tetra: expand type holes for apps of vars
source tetra: get expansion of type args working
source tetra: add another expander test
core flow: add quantifiers for free type vars to bindings
core flow: create top level environent properly in expander
core: parse multiple level-0 binders in the same group
ddc tools: start on tetra toCore command
source tetra: more on ToCore
source tetra: connect toCore pass to ddci-tetra
source tetra: refactor rep of data defs