Currently, you have to either add all type annotations in one fell swoop (this adds them for let assignments too), or go through every function independently (boring).

Maybe it should work on constants too, I have no opinion on this though because it's trivial to see their type anyway.