New contract library

I updated the source code page in preparation for a talk on this stuff I might be giving soon.