adjust cabal file
move to the standard promoted list and bool types