I apologize - I forgot to include this in my previous posting.
I also couldn't seem to find an implementation of the foldP function, which is included in several of Roman's papers on DPH and ndp in general. Is this not implemented yet?
Thanks,
James Swaine