Certified output tiling for generated einsum kernels

Tiling.Semantics proves contraction tiling for an arbitrary number of lanes. Tiling.Width4 and Tiling.Width8 are concrete scalar-register lowerings selected by static cost analysis. Importers use this facade and do not depend on a particular machine width.