To simplify types. Now term = Compound | Atom.