Redefinition

Changed the Ir to allow a clafer to have an ISuper and IReference ('->' and ':') see:
http://gsd.uwaterloo.ca:8888/question/1065/separate-the-super-clafer-and-reference-type

Removed ambiguity of '->' and '->>' see:
http://gsd.uwaterloo.ca:8888/question/877/expand-set-reference-to-bag-reference-only-in 

Added redefinition to clafer 

Added Ir parents updating them selves during analysis.