Implemented UnaryExpr in ExprToSmtlibVisitor

forgot about this :P