Type checking against unknown now generates warnings, not errors.
A check is added to verify a gep returns a valid type.