adds support for unary operations to metaSMT-server

also renames operand -> operator for the corresponding exception class