Actually, your link agrees with my explanation: It points out in the "Static and Dynamic Types" section that what is meant by "type" in static type-systems and

Actually, your link agrees with my explanation: It points out in the "Static and Dynamic Types" section that what is meant by "type" in static type-systems and what is meant by "type" in dynamic type-systems are two very different concepts. From the perspective of someone interested in static "types", dynamically-typed languages don't have types at all.