bidirectional core, no parser/sugar/elaborate
oops
fix Elaborate
pretty printing
update parser/pp
ooops, I should really separate terms and values...
update tests
tests