Finally have Domain1D and Tuple1D changes made in current variants1DloopTest.sml code.
updated wavebench.sml and ast.sml for domains and tuples

For this initial update for tuple and domain type, still have the environment keeping an integer when really should have a tuple.
See ForLoop and ParForLoop interpretation in ast.sml.
Also see evaliexp for VarExp id.