Only allow type inference in the normal direction for the indices of mapping and multiset. Rev: src/pike_types.c:1.90