spirv: Add better type validation to OpTypeImage