also adding cabal.project file (doesn't yet integrate benchmarks stuff)
also dropping orphan quick check instances. and suppressing ghc 8.0 series redundant constraint warning for now