tidied <unary_operator> handling