Removed ClosedKon and related
Removed associated exponential type.
comments
HasConstArrow --> HasUnitArrow
hide constFun
unUnitFun
ldistribS, rdistribP  -->  distl, distr
DistribCat
License-File in .cabal
Setup.lhs
guard, if_then_else