I'm not sure what there is to be confused about. "weak" types mean they may elide into other types implicitly. "strong" types mean that the value will always b

I'm not sure what there is to be confused about. "weak" types mean they may elide into other types implicitly. "strong" types mean that the value will always be interpreted as one (set of) type(s). (really just one type, but that type may be a subtype, so it gets confusing.)