changing Path1 to SpannedIdent everywhere

Per an excellent suggestion from @acrichto, I'm using the (existing)
SpannedIdent rather than the unneccessary Path1. I'm leaving this as
a separate commit just to have some record of the history; when reviewing
this, I advise just reviewing the net change rather than the commit-by-
commit history.