Eliminated the inferrable sorts