Java applet.

Parser.

Semantics using categorical machinery defined in this paper.

Graphs as constraint systems.

Back end once constraints are solved: either to Java Canvas or to PostScript.