simple evaluator works
added symbolic apply
added functiosn to unroll if and or