fix unrename
merge productions for equally-typed constructors
merge productions for equally-typed constructors
update smart constructors
support subsort checking for alternatives
fix syntax-sort bug in generator itself :)
unrenaming for transitive subsorts
update smart constructors
turn off logging; default smart-Some to overwrite Some Stratego strategy
test SugarAST
print some statistics on typesmart compilers
integrate option to compile/interpret Stratego code