Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): PrecMap BasicSpec BasicItem SigItems OpBrand Instance ClassItem ClassDecl Variance AnyKind TypeItem Vars TypePattern Type TypeScheme Partiality OpItem BinOpAttr OpAttr DatatypeDecl Alternative Component Quantifier TypeQual LetBrand BracketKind InstKind Term ProgEq PolyId SeparatorKind VarDecl VarKind TypeArg GenVarDecl SymbItems SymbMapItems SymbKind Symb SymbType SymbOrMap ClassInfo GenKind AltDefn Selector DataEntry TypeDefn TypeInfo Sentence TypeVarDefn VarDefn ConstrInfo OpDefn OpInfo Env Constrain Morphism SymbolType Symbol RawSymbol Formulas Classes Sublogic