TypeVars are now regular parts of a TypeDefinition.