added expression formatter test in preparation of not operator
added expression formatter test in preparation of not operator
rewriting for not operator
not operator added, cleaned up code.
Added tests
renaming, cleaning up