SourceSpan.toString bugfix
add SourceSpanSpec