Let $M$ be a manifold. I define $A(I)$ the commutativ algebra of generalized functions:
$$A(I)={\cal C}^{\infty}(M)[X_1,X_2,\ldots,X_k]/I$$
where $I$ is an ideal of ${\cal C}^{\infty}(M)[X_1,X_2,\ldots,X_k]$, the polynomials over the smooth functions, such that $A(I)$ is of finite type.
Then I define Poisson brackets:
$$\{ a,a'\}=\omega (da,da')$$
where $a,a' \in A(I)$ and $\omega \in \Lambda^2(TA(I))$ is a symplectic form of $TA(I)=Der(A(I))$ the derivations of $A(I)$.
Can we quantize the structure?