fixed namespace
added zproof parser + tests