type statement working with scope checking/env double decl in note.dj
beginnings of type_expr
tc through track CR