This is very neat. I'd love to know more information about it. The paper never discusses the exact notation of the annotations, for instance. And is the source

This is very neat. I'd love to know more information about it. The paper never discusses the exact notation of the annotations, for instance. And is the source code available yet?