If you think it’s better to wait before presenting on intersection types, that’s no problem at all.
We could potentially make some time for a more narrow and less structured discussion of tricky topics like negation, but I don’t know if it would be helpful and it’s up to you.