multiple fixes including #7, #9, #10

- issue #10 EmptyTree should result in empty String but prints EmptyTree() instead
- issue #9 omit braces on empty class body
- issue #7 incorrect handling of encoded symbolic names