> (except for your data types) This confused me for a moment, but I think you mean annotating the types of the fields in your `struct`s, right? An addition to

> (except for your data types) This confused me for a moment, but I think you mean annotating the types of the fields in your `struct`s, right? An addition to that: any non-constant global variables (if you must have those) should also be type annotated.