Started code/variants1Dloop.sml.  Does not typecheck.
More futzing with variants1Dloop.sml.