bugfixes in parse and stringify: () is an atom\!
tests from paper added -> lots of bugs fixed