FLPBook: finished revision of Chapter 8.
Experiment with type declaration.
FLPBook: Started Chapter 10.
Added contracts to formal functions. Modified 'define-type' declaration.