[sledge] Simplify identity type conversions only at initial construction
[sledge] Simplify identity type conversions only at initial construction

Summary:
The types are constants and need not be re-checked for equality during
normalization, etc.

Reviewed By: jvillard

Differential Revision: D20863526

fbshipit-source-id: 1adde5ee0

facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer