Also, some other changes that came up along the way:
- add a 'blk' region for the current block.
- detect unused type/region variables.