A Second Course in Topos Quantum Theory