Make Bottom generalize to Any instead of Integer.