refactored ExpressionPrinting;added Not,UnaryPlus

splitted expression unit tests