Add missing modules to .cabal file
Fix warning in Fourier-Motzkin