Make better use of the `Note#for_*?` methods
We've got all these polymorphic type-checking methods, might as well use 'em everywhere it makes sense.
We've got all these polymorphic type-checking methods, might as well use 'em everywhere it makes sense.