Add disambiguation for cases involving null literals.

This is specifically for cases like `null :: number', which would have
been ambiguous before (since that "null" could have been a number or
a money).  Now it will choose the (monomorphic) function with the fewest
total number of types, if that is unique.