slight change to semantics of mapSpec:
slight change to semantics of mapSpec:

Now each sortInfo/opInfo is processed exactly once,
even if it has multiple aliases.  Moreover, all
aliases for an info map to exactly the same new info
(EQ references, in lisp terminology) in the new
qualifier map.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2162 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware