Teach another part of scalar evolution about the difference between the size and range of pointer types.

Fixes #36