Tighter Cabal version constraint

Tighter Cabal version constraint, add link to CarneadesIntoDung package