2. QUantifiers and SubTypes. Language with a sophisticated type system. Just as types classify values, "kinds" classify types and type operators. Explicit universal and existential quantification over types, type operators, and subtypes. Subtyping is defined inductively on all type constructions, including higher-order functions and abstract types. User-definable higher-order type operators.
3. <tool, text> A multimedia authoring system. Quest has been available for MS-DOS for some time. Version 3.5 for Microsoft Windows was released around March 1995. It features an Authorware-style flowchart system with an ANSI-C script language.