Add support for `'static`

[sonmarcho]

This is mostly an engineering issue: the regions owned by region abstractions are region variables. We need to make those more general to include 'static. We will also need to add checks when ending/merging abstractions: we can't end a region abstraction which owns the 'static region.