liquidhaskell

Reorganize allow-newer configuration

Link thesis on term holes and generate some documentation from the thesis

Merge pull request #2486 from matheussbernardo/develop

Hook typed hole tests in the test harness

Remove --exact-data-cons from tests