Renames StringAnnotation to Span

I know I said we'd have to call it "StringSpan" because "Span" was already tied to Strings by its `in` method, but I figured out a very simple way to move the `in` method out of the `Span` trait, using an implicit value class. So we can just call it "Span" now.