I got a bit confused about the state of type annotations for the project via the other issues. It seems that the current idea is to finish type checking this project?

If so having an issue to track the progress of that would help me. Currently I will just have to turn off typechecking for this library, but if it is close would be nice to know when that lands.