moving from variables to de Bruijn indices
RawToTerm compiles
Everything compiles
+TCM
tests pass