It would be good if types were added to the code base as we can run a static type checker and find errors.

Especially our internal implementation would benefit from types and having them in core would be a good first step.

I don't see this as a high-priority issue, but maintenance/refactoring work are done the types can be added at the same time.