It all sounds good except I would really like to try generating s-expressions as well. I am convinced that the binary table thing is going to cause us future trouble, and the reason I am so convinced is that every binary table I've ever seen had troubles not long after it was disseminated as a standard.
ron