broke up simplify into eval_node()
updated README
added is_defx; checks if x exists in or below current node
added total support for / and -