[alias] no longer classify virtually all casts as unsafe

We only consider casts as unsafe if they transform a scalar into a
pointer or vice versa, or more precisely when the level of indirection
is changed.