expose statevar as arg in sys_to_spec, env_to_spec, fts2spec, sys_open_fts2spec, env_open_fts2spec

and reorder args in their signatures
improve docstrings in functions of tulip.synth