constant-fold infix:<~>
potentially constant-fold more stringy operators