Add heap_lang lib for "invariant locations": locations with a (pure) invariant attached to them

See merge request !289