Class TermTypeTermLifterImpl