Improved Pretty and simplified code to pretty print terms and values