remove Pair, Proj1, and Proj2
add missing case for printTerm