#18 progress: added StringAnalysisFunction and StringAnalysisComponent to simplify the type signature for common cases.
Renames StringAnnotation to Span, and moves `in` method out of Span so that Span isn't tied exclusively to Strings. The `in` method is now available via an implicit value class, so the overhead of using `in` should not change at all.