I dug the spec I wrote off my backup hard disk and posted it here: https://gist.github.com/2907123

I also planned to define a standard set of tags for the "tagged value" type, but never quite got around to that.