Automated g4 rollback of changelist 60403696.

*** Reason for rollback ***

breakages

*** Original change description ***

Only use a an inferred type for a declared slot within a scope if the type is a concrete subtype of the declared type.

***
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=60408907
[NEW TYPE INFERENCE]

Instantiate polymorphic functions at call sites.
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=60411427
[NEW TYPE INFERENCE]

Replace all TOP with UNKNOWN, so that TOP is used exclusively by explicit * type declarations.
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=60475507