Ok, my great big specialization idea is basically implemented. There's a bug with the nonstructural specialization that's causing a crapton of extra variables to be created, though. Also, I'd like to see if I can get away with moving the 'fill vtable' stuff into static initialization.