Add outputable instance for SpanInfo
Fix Var resolution by unwrapping wrapped Vars
Add handy gshow function