[NEW TYPE INFERENCE] Smarter inference of @const RHS
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=76275445
[NEW TYPE INFERENCE] Make crawling of NominalTypes more consistent

Fixes #635
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=76279949