Quantum K-Theory with Level Structure