More descriptive error messages for casts