Updated type checking to associate with the SpecObject, allows navigating to errors.
Updated type checking to associate with the SpecObject, allows navigating to errors.