wording
pretentious introduction
motivation for Scott-continuity
meta
section Algebraic Data Types
outline of ADT chapter