Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2. - View it on GitHub