Refactoring

  Added documentation for ColistP example module
Added concatMapW that exploits Prod data-type
Proved implication from IsProductive to Prod