refactor GraphFigures
refactor parser
add polymorphic +-*/^ to VarNode