Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Sign Morphism Sentence Symbol MaudeText Spec Module View Parameter ModExp Renaming ToPartRenaming Statement Import SubsortDecl Operator Membership Equation Rule Condition Attr StmntAttr Hook Term Type Sort Kind ParamId ViewId ModId LabelId OpId