Added math symbols for type combinators.
FLPBook: Revised chapters 1 and 4 (type issues).