better debug logging server-side
handling negation in parser. printer TODO
changed test
huge improvement of the editor, now functional without proof tree