Forward declaration of TermTeacher