Add test for integration
Rewrite accumulate without arrow notation
Rewrite differentiate without arrow notation
Disable the Arrows extension in Utils.hs
Add the wdecisive and wlatch combinators