Coercion: Improve precision

[rcastano]

Currently we model casts as havocs in all cases. But we could avoid that for all casts among integers types or among floating point types (but not across).