miniblog.

Sometimes a typechecker spots a ton of issues. I find that lists of numbers get very little benefit though. I'm writing some messy logic that groups line numbers, and it's super easy to screw up. Are there other cases? Strings might be another example.