Allow top-const removing in wild matching
++wild match
++wild match 2
++wild match X1
++wild match X2 (unfinished)
++wild match X3 x
++wild match X4 (ok)