Merge pull request #4 from hborla/region-isolation-definitions

Editorial pass over the detailed design.

Author: gottesmm