D.Located: parametric instances for Located

Also, get rid of the 'TransInv' from the definition of Located.  It
was sort of questionable in the first place (e.g. what does it mean to
apply TransInv to something which is already translation invariant?)
and was making it very difficult to define the parametric instances.
D.Parametric: tweak export list order