RFC: Single-entry / multiple-exit regions for borrows

[Rendered](https://github.com/zwarich/rfcs/blob/seme-regions/active/0000-seme-regions.md)
It's sort of implied, since I say 'does not dominate any *other*...', but maybe it would be more clear the way that you suggest.