Question: Daelim is an example of the business type whose term was coined in what year?

Context paragraphs:
Operating lease: An operating lease is a lease whose term is short compared to the useful life of the asset or piece of equipment (an airliner, a ship, etc.) being leased.  An operating lease is commonly used to acquire equipment on a relatively short-term basis.  Thus, for example, an aircraft which has an economic life of 25 years may be leased to an airline for 5 years on an operating lease.

Chaebol: A chaebol ( ; ; from Korean "jaebeol" ] ) is a South Korean form of business conglomerate.  They are typically global multinationals and own numerous international enterprises, controlled by a chairman with power over all the operations.  The term is often used in a context similar to that of the English word "conglomerate".  The term was first used in 1984.  There are several dozen large Korean family-controlled corporate groups which fall under this definition.

Quotient type: In type theory, a kind of foundation of mathematics, a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes whose cardinality is less than or equal to that of the base type.  Just as product types and sum types are analogous to the cartesian product and disjoint sum of abstract algebraic structures, quotient types reflect the concept of set-theoretic quotients, sets whose elements are surjectively partitioned into equivalence classes by a given equivalence relation on the set.  Algebraic structures whose underlying set is a quotient are also termed quotients.  Examples of such quotient structures include quotient sets, groups, rings, categories and, in topology, quotient spaces. For example, formula_1, the rational numbers, is the quotient ring – or "field of fractions" – of formula_2, the integers.

Metahistorical romance: Metahistorical Romance is a term describing postmodern historical fiction, defined by Amy J. Elias in "Sublime Desire: History and Post-1960s Fiction."  Elias defines metahistorical romance as a form of historical fiction continuing the legacy of historical romance inaugurated by Sir Walter Scott but also having ties to contemporary postmodern historiography.  In particular, in metahistorical romance, poststructuralist play invokes the "historical sublime" as defined in the work of Hayden White.  Metahistorical romance--such as Thomas Pynchon's novel "Mason & Dixon"--attempts to recuperate the sublime untouchability of the past, to reach History and know it, but paradoxically in the context of the political.  As with the Kantian sublime, the postmodern historical sublime is not the grasp of the sublime object itself but a kind of ironic awareness of the inaccessibility of the sublime object.  There is a yearning that resembles the yearning for mystical knowledge at the core of the search for the historical sublime, and thus the concept ties contemporary historical fiction to a literary history (that of the historical novel), a type of historiography (postmodern, post-"Annales" historiography), and a spiritual questing.  Elias argues that the postmodern imagination confronts the historical sublime rather than represses it; confronts it as repetition and deferral; seeks sublime History but simultaneously has lost faith in the storytelling needed to do so; and consequently has ties to, but reverses the dominant of, the traditional Anglo-American historical novel.  The term "metahistorical romance" also builds upon work by Linda Hutcheon, whose term "historiographic metafiction" described the ironic stance of contemporary historical fiction.

Daelim: Daelim Industrial was established in 1939, and its E&C (Engineering & Construction) and Petrochemical Groups are the main lead of the Daelim Business Conglomerate (Chaebol).

Dependent type: In computer science and logic, a dependent type is a type whose definition depends on a value.  A "pair of integers" is a type.  A "pair of integers where the second is greater than the first" is a dependent type because of the dependence on the value.  It is an overlapping feature of type theory and type systems.  In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists".  In functional programming languages like Agda, ATS, Coq, Epigram, Idris, and Shen, dependent types prevent bugs by allowing extremely expressive types.

Opaque data type: In computer science, an opaque data type is a data type whose concrete data structure is not defined in an interface.  This enforces information hiding, since its values can only be manipulated by calling subroutines that have access to the missing information.  The concrete representation of the type is hidden from its users, and the visible implementation is incomplete.  A data type whose representation is visible is called transparent.  Opaque data types are frequently used to implement abstract data types.

Type class: In computer science, a type class is a type system construct that supports ad hoc polymorphism.  This is achieved by adding constraints to type variables in parametrically polymorphic types.  Such a constraint typically involves a type class codice_1 and a type variable codice_2, and means that codice_2 can only be instantiated to a type whose members support the overloaded operations associated with codice_1.

Ohio Township, Allegheny County, Pennsylvania: Ohio Township is a township of the Second Class in Allegheny County, Pennsylvania, United States.  Ohio Township elects a board of three (3) Supervisors, a property tax collector, and a constable, each for a term of six (6) years, with exception of the tax collector, whose term of office is four (4) years.  The day to day business of the township is managed by a Township Manager serving at will and is supported by an administrative staff.  In addition to the Administration Office, the Police Department, Road Department, and Recreation Department are also under the direct administration of the Board of Supervisors.  The population was 4,757 at the 2010 census.  The township is located 9 mi northwest of Pittsburgh.  There is no central business district, but there are a few small shops in the Mt. Nebo area.  A new shopping center has been built called Mt. Nebo Pointe.  In recent years, several retail outlets have been built near the Camp Horne Road interchange of Interstate 279.

Cornwall General Store: The Cornwall General Store, also known as the LaValley General Store, was a historic commercial building at 2635 Vermont Route 30 in the center of Cornwall, Vermont.  Built in 1880 and in retail use for more than half a century, it was a well-preserved example of a dwindling business type, the rural general store with attached residence, listed on the National Register of Historic Places in 2005.  Sold to the town for preservation in 2000, it was demolished about 2013.

Supporting paragraphs: Daelim Chaebol
Answer: 1984