Type checking unary expressions