Moved a subheading.
Added note about declaration syntax for algebraic data types, and one
irritating gotcha associated with it.