Factor the region class and related definitions out of `types.hpp`

[eyalroz]

The region class is not huge, but it seems it's worthy of its own small header file. Let's have that.