Quantum Games As Quantum Types