Added deBruijn conversion function.
Working on DeBruijn renamed terms evaluating. Re-deBruijning still needs to happen after a substitution.