valid_expr_type
if (!valid_expr_type(expr->unop))
return valid_expr_type(expr->left)
&& valid_expr_type(expr->right);