Redefinition

Note: This pull request should be done after parentFix!

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