On Regions and Linear Types