my ScanL and ScanR were wrong, now fixed with the power of dependent types.

I really need to start  a  test suite for the layou module though, embarrasing mistakes in the indexing logics
and lo, there were statical sized snoc, cons, and their inverses. And it was good, and quite hand. Also terrified of being benchmarked
i bring all the scans to the optimizer yard.