Added unary connective fascilities.
Evaluation, now supports unary operators.