"Out of interest do you know if this kind of data structure has been used anywhere?"

I second that! Searched around the web for clues but found none so far.
Also wonder what's the optimal data structure for implementing it - some kind of DAG? I'd very much like to see a purely functional solution.