Move structure' to PTS.Syntax.Term.