* Fix an invalid type variable name generation in the type inference engine.