Implement Locally Nameless representation in the Kernel.

[arthur-adjedj]

For debugging purposes, reading kernel errors has become tenuous due to having to deal with De Bruijn variables at all times. It would be preferable to switch to a locally nameless representation, as presented in [McBride, McKinna 2004].