Fixed sparse TM-transition block -- proof internals

This aggregation module collects the checked semantic and resource layers of the uniform sparse transition block.