for expressions like
wire matched2 = (a == \'0); wire matched1 = (a == \'b0);
Do \'0 and \'b0 have different types?