Added multi-ghc travis
Added some ignore
Added some proofs