additional settings for Haskell and Coq
updating the configuration