Frankly a huge silly bad commit.

Containing:

* SecPAL -> DatalogC translation (untested)
* Refactoring of a whole bunch of code
* Testcases
* Pretty datalog
* Probably more...