Make automatic rewrites of definitions for isDValue and destDValue
Start of some tech for symbolic evaluation of pseudo C programs.

evalpc.ML evaluates fastwave inspector for 20 steps (and takes too
long doing it), if you do

    hol < evalpc.ML

in the code directory.