## Todo - [ ] allow emitting more than one error when lowering the hir - [ ] introduce a feature-flag for typing support - [ ] give each `Expr` an optional type - [ ] check that there is no type violation when lowering - [ ] respect type changes when casting
Todo
Expran optional type