[red-knot] Minor simplifications to types.rs (#14962)

[red-knot] Minor simplifications to types.rs (#14962) #150