Export fst3, snd3, thd3, and trace from Basics