Use deBruijn levels everywhere #89
Description
In the recent branches, I have started moving away from variables names to use De Bruijn levels for checked terms and coherences. I think it would be better to always switch to de Bruijn levels in the kernel. This also allows for more efficient implementation for the substitutions and contexts, where variables are not named and everything is represented as a length and an array/hashtable