implement a nice new optimization: CodeGenTypes::UpdateCompletedType