Move definitions and lemmas about heap_lang locations to module `Loc`
This is consistent with number types, such as Nat and Z (from stdlib) and Qp (from std++).
In !854 (merged) we will get a whole bunch of new definitions and lemmas for locations, this MR will make it possible to group them together nicely.
/cc @arthuraa