pretty-print operator trees much more compactly
add case for right-associativity