Added flags to disable Contravariant and Distributive
Added flag to disable comonad
Minor adjustments
Added flag to disable containers