first pass at tracking lists in ocaml
caught a logic error
simple test looks promising on new strategy.  need to restructure code badly.