Constraint dependencies to aid the solver

Cabal 1.18 can't resolve deps currently, so guide it by adding
constraints.