Expose diff as a rewrite (diffR)
vector stream fusion: permute imports