Type checking unary operators