Changed FSharpLex.SpecializedCollections to a namespace instead of a module.
Added attribution for 'camldiets' and a note about the implementation.
Implemented some precondition checks for a few functions in the Diet module.