Text this: A Second Course in Topos Quantum Theory