fix a bug in invcmp
some tweaks on the parser, may be I should think about how to disp infix notation a little