Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-21 19:32:33 -0700 (Fri, 21 Oct 2005)
Revision: 7966
Log message:

      Proved a rule allowing "nice" elimination of the Image type when the base type
      is sqsimple and the map is reversible (img_elim_sqsimple).