A Place represents how a value is located in memory.
Place
A PlaceWithHirId represents how a value is located in memory.
PlaceWithHirId