add clause to tc_to_string for TC_vector

I think these shouldn't have the "<" and ">" markers around them, but
not changing it now...
update sideScript.sml for reorganisation of repl_step definitions