Fixed the bugs with the specialization infrastructure. Still would like to see if I can get away with initializing the traceUpdate vtables via static initialization, though.