Hierarchy

Allows hierarchy support for clafer 
see: http://gsd.uwaterloo.ca:8888/question/917/inheritance-among-concrete-clafers and
http://gsd.uwaterloo.ca:8888/question/252/add-support-for-hierarchy-specification-and