deleted out of date Term.hs: