Had an advisor meeting. Some troubling setbacks regarding what I thought would work for both unification and type inference. Grr. Had a meeting with Bob just before that that was kind of interesting, though; discussed some ideas about connecting substructural thinking to machinery for fresh names and such.
We played our little show at the closing happy hour thing for Science 2007. Quite fun! Got it all recorded, so it should be up somewhere in the next few days or so.