Fix bug in, and change the behaviour of, ATCASEqual.  Now we assume simp:false.