Type annotate existing code

[jankrepl]

🚀 Feature

I think we can incrementally start annotating existing code. It shouldn't really take that long and it could be a really nice way to practice and learn about typing.

Pitch

The more code we annotate the more powerful the typechecking will become.

Alternatives

The alternative is to do nothing and just add types to new code as agreed.