Finalised traverse() in Term.