Per-symbol type-annotation coverage — fully typed, partial, untyped, and Any-polluted symbols ranked worst-first.