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