[plt-scheme] Adding arrows to my language

I have a simple module based language and an accompanying analysis that 
relates program points.  I'd like to draw arrows in the style of lexical 
and tail call arrows based on the results of the analysis.

Is there a succinct example of this sort of thing that I could use as a 
starting point?

Thanks,
David