Lots of cool new stuff

Refactored a number of examples.

Added Specications for ClosureMemonization, ClosureComposition,
  Class, Properties, RandomFeatures, String, SwitchCase
  and Truthy.