Added DAG evaluation
Added equality and inequalty expressions
Added ability to negative expressions