Hierarchy

Updates corresponding to [pull request](https://github.com/gsdlab/clafer/pull/36) to support inheritance among nested clafers.