Exercise 2.89: Refine translate-into-term