Solution:
The answer is 7. That it is possible to build seven packages with the required properties using seven types of toys is shown by the following grid, in which A, B, C, D, E, F and G denote the types of toys and the columns give the composition of the packages.
Moreover, six types of toys are not sufficient. We prove this fact by contradiction. Suppose that
A,
B,
C,
D,
E and
F are sufficient for seven packages. In total we have twenty-one toys, and therefore there exists a type of toy, say
A, that appears in at least three distinct packages; the other toys that appear in these three packages are six (two times three) and they must all be of types distinct from one another and all different from
A; we would then have seven distinct types of toys, that is, a contradiction.