* Fix an invalid type variable name generation in the type inference engine.
Change .gitignore.
Merge upstream.