[NEW TYPE INFERENCE] Don't crash when specializing a loose function.

Specifically, when specializing a loose function with a
non-loose TOP_FUNCTION, make sure that the result is still loose.
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=75857174