Exercise 2.58a: convert to infix notation fairly easily when it's fully parenthesized - it's JUST like scheme order, except operator is SECOND instead of first
Exercise 2.58: drops unnecessary parentheses and uses */+ order of operations. My cheap solution using memq SEEMS to pass tests... meh see sols