core: pretty printing for data definitions
ddc-alpha: remove some old junk
ddc-core-flow: rename OpFlow to OpSeries, OpSeries to OpConcrete, prefix all series functions with 's' in anticipation of 'OpVector' vector operations map etc
Fix cabal files
core: refactor data type definitions
core: parsing for data type definitions
core: add kinds of data types to env when checking
core: return elaborated type when checking it
core: take kind of tycons from kenv
core: fix type checking for locally defined algebraic data types
core: fix type checking for local data constructors
core: formatting to test
Add notes