Parser Tested
Refactor AST to make Zipper easier