begin TermADT (#10)