WIP, for comment

Summary:
  Replacing Located with GenLocated, with a type parameter

Test Plan:
  sh ./validate

Reviewers: austin

Subscribers: simonmar, ezyang, carter, thomie

Differential Revision: https://phabricator.haskell.org/D246
WIP
WIP. deSugar compiles.