Chapter20 (v16) Structural subtyping with Refinement types
Chapter20 (v17) Enumerations
Chapter20 (v18) Case study: Currency (source)