- changes caused by clsmap2predmap.thm.
- changed ref-typing-ok/read to ref-typing-ok/read/shared
- added definition for ref-typing-ok/read/unique