After an hour or so of hacking this morning, things are looking quite good.

I just pipe my representation of the lattice to »dot« and then send the PostScript output back to TeXmacs.

Anyway, back to debugging.