minor refactor
incremental progress (types and adt)
Added type ast adt
added assert
type parsing incremental progress