Finish interchange law for natural transforms

More precisely, for horizontal and vertical compositions of natural
transformations.