Oh, that's already in progress -- I'm porting some code from a previous version of it to the new version, by way of wrapping my head around it. It's been very instructive, but dammit, I miss my compile-time type introspection.