Lift Symbol.T from Terminal.t to TerminalSet.t
WIP, will revert soon…