Eliminated the inferrable sorts

Eliminated the sorts that can be inferred, and modified the text accordingly.

@traiansf @andreistef: please review