wavebench.sml working with renamed PseudoC.sml

but don't have full inspector implemented.  Need to start over somewhat with
PseudoC ml implementation because passing around domain types instead of deeply
embedding.  Also, not matching up well with the grammar being used in hol.
Reduced memory needed to create CSR-like data structure for wavefronts.