pull Located out of liquidhaskell

**Don't merge yet**, see https://github.com/ucsd-progsys/liquidhaskell/pull/161 for discussion.