First attempt at images.

Messy, but good as a general sketch. Need to clarify how HAPort handles
multiple "arguments": does that mean multiple contributions to a
particular demand? Does it take the union of the "arguments"? Or should
we just restrict it to a single cell?

Collections in JavaScript are a huge joke. I think I'll have to bring
back our old implementation of persistent data structures.