Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): OpType Sign Morphism OP_ITEM VAR_ITEM BASIC_SPEC GroundConstant AssDefinition InstantiatedConstant BASIC_ITEM EXTPARAM EPDecl EPVal OPNAME OPID ConstantName EXPRESSION VarDecl OpDecl CMD SYMB_ITEMS SYMB SYMB_MAP_ITEMS SYMB_OR_MAP BindInfo OpInfo Symbol Incomparable SetOrdering InfDev CIType SetOrInterval ClosedInterval InfInt