Tetra and Salt: add the top-level region rT.

Because Flow has no region information, we need a top-level mutable
region that we can place the allocated objects in.