rm env,sys ts deepcopies in synth
mv helper functions to top
rename synth functions for consistency