Add missing `@type` annotations.