EOD checkpoint: type system done, working on new enc/dec
incremental
initial completion types/ie/template, need reader
initial run checkpoiny