VSW: Minor fix which should have been ammended.
VSW: Updated Chapter 2 on Specifications.

Added some useful introductorary material on specifications, and
specifying programs in Whiley.  Lots still to do though!!