switch substitution execution method to sub-ex generator.
Some subst. constructs now support nondeterminism. added two test.
some test assumptions of enambeld states had to be corrected.