Thanks for the report, but this isn't a bug.

Setting typed=True guarantees that types are treated as distinct entries.

Setting typed=False means that the implementation MAY ignore the type and only use equality, but it is not required to do so.   If it is convenient for the implementation, it may use type to save space.  Currently int and str are treated as distinct from other types that may be equal to them.

Likewise, the implementation is allowed to treat different argument patterns as distinct even if they are equal.  Currently, we treat pow(2, 5) as distinct from pow(base=2, exp=5) which is itself distinct from pow(exp=5, base=2).