included by all possibly generic declarations/definitions: TypeDefinition, TraitDef, FunctionDef, and trait claims