Updating Cabal and adding simple syntactic equality for quotations need for testing validity of paper