K-Theory of Hilbert Schemes as a Formal Quantum Field Theory