Some topics left: Compatability with BV presentation. generalize it to $B_n$, $C_n$ case / partial flag variety. connect it with Quiver Schur algebra & Soergel module. compute representations of $K_0^{G_d}(St)$.