Steps towards generalizing vectorization in Affine

The proper place for this discussion is here.

It means nothing because your statement does not typecheck: the correct typing is “the op’s semantic is not compatible with the transformation”.