Commenting out incomplete proof
Module for standard DeBruijn representation
Proving that transformation to DeBruijn is ok