I'll give an answer from the old days. The $W$ construction of Boardman and Vogt
corresponds to the modern notion of cofibrant replacement of operads. If an
operad $\mathcal{C}$ acts on $X$ and $Y$ is homotopy equivalent to $X$, then
$W\mathcal{C}$ acts on $Y$. By the way, there is an inherent flaw in the little
discs operads $\mathcal{D}_n$, namely there is no map of operads
$\mathcal{D}_n\longrightarrow \mathcal{D}_{n+1}$ that is compatible with suspension
(in the obvious sense: consider $\Omega^n \longrightarrow \Omega^{n+1}\Sigma$). The little
$n$-cubes operads do not have this problem, but have others not shared by the
$\mathcal{D}_n$. The Steiner operads have all the good properties of both the
$\mathcal{C}_n$ and the $\mathcal{D}_n$. In practice, that is in actual
applications, such geometric differences are far more important than the
questions of cofibrancy and homotopy invariance.
Concerning your first question I have a couple of suggestions: first coisotropic is in some sense the best we can have in a truely Poisson situation: there is nothing like lagrangian (unfortunately).
As you already said, lagrangian sometimes is associated to pure states in the quantum regime, here the main argument is coming from the WKB approximation in physics, which has some very interesting mathematical formulations: in the booklet of Bates&Weinstein (you probably know) you can find a lot of these ideas.
However, I would like to draw your attention to some other point: Having a coisotropic $I$ in some Poisson algebra $A$ (so we left geometry, purely algebraic setting) then the thing you can do classically is reduction: You take the idealizer $B \subseteq A$ of $I$ with respect to the Poisson bracket and this turns out to be the largest Poisson subalgebra of $A$ having $I$ as Poisson ideal. So the quotient $B/I$ is again a Poisson algebra. In your favorite geometric setting with nice assumption this corresponds precisely to the Poisson algebra of functions of the (Marsden-Weinstein) quotient: But we see something more:
$A/I$ is a $A$-left module (sure) and it becomes also a $B/I$ right module (just check that things are well-defined). In fact, a little exercise shows that if $A$ has a unit (let's assume that) then $B/I = End_A(A/I)^{op}$. So we are in some sense even very close to a Morita context (it is not, though...)
Usually I don't like to do that: but to make a little advertisement for some own work, I have a quite detailed paper with Simone Gutt on the above reduction proceedure where we investigate the relations of the representation theories of the big algebra $A$ and the reduced algebra $B/I$ :)
Now the remarkable thing is that this (still classical) bimodule structure might have good chances to survive quantization. In fact (and here one should quote Martin Bordemann's long french preprint as well as the works of Cattaneo&Felder) under certain geometric conditions deformation quantization gives indeed such a quantization.
So the noncommutative version is a left ideal $I$ and then the above quotient proceedure just works the same on the algebraic level. Of course, in DQ the trickey question is whether $B/I$ is still something like the quantized functions on the classical Marsden-Weinstein quotient and even more trickey: whether the classical coisotropic ideal can be quantized into a left ideal at all. For this there are obstructions, even local ones, in the Poisson setting, while it works locally in the symplectic setting by taking an adapted Darboux chart. Globally, it is also trickey in the symplectic setting: Martin Bordemann discusses this in detail...
OK: the conclusion is something like coisotropic ideals are used for reduction and their quantization will be left ideals used in the same way. Both lead to the above bimodule structures on $A/I$ which is geometrically the coisotropic submanifold itself.
As a small warning: it is not true in deformation quantization that all modules (of interest) arise this way. There are other modules which have their support say on points: one can use $\delta$-functionals as positive functional (after some correction terms) and get a GNS like construction also in formal deformation quantization. Then in this case, the module has sort of support on that point...
Ah, the second question: never thought about that in detail, but perhaps the above picture gives some ideas on "reverse engineering"..?
Best Answer
Let me start by rephrasing what is already in the answers of David Ben-Zvi and Theo Johnson-Freyd. The DG $\mathbb{Q}$-linear operad $\mathbb{E}_n:=C_{-\bullet}(E_n,\mathbb{Q})$ is filtered. For $n\geq2$ the filtration is the degree filtration, and thus $gr(\mathbb{E}_n)=H_{-\bullet}(E_n,\mathbb{Q})={\rm Pois}^n$.
The situation for $n=1$ is a bit different. We know that $\mathbb{E}_1\cong {\rm As}$ (this is the formality theorem for $E_1$ which, contrary to the case when $n\geq2$, is easy to prove). The operad ${\rm As}$ of associative algebras is also filtered, but in a less obvious way. To be short, one assigns the following two-step filtration onto ${\rm As}(2)=\mathbb{Q}[\Sigma_2]$ (which generates ${\rm As}$): $$ F^0{\rm As}(2)=\mathbb{Q}(1-\sigma)\subset F^1{\rm As}(2)={\rm As}(2). $$ It then an exercise to check that $gr({\rm As})={\rm Pois}^1$.
Then, in order to relate the two stories, I have the feeling that one does not need to invoke the formality of $E_n$ for $n\geq2$. Given a filtered $\mathbb{E}_n$-algebra $A$ (i.e. a filtered DG $\mathbb{Q}$-vector space equipped with an action of $\mathbb{E}_n$ that is compatible with the above filtration), then $gr(A)$ is a ${\rm Pois}^n$-algebra.
Concerning the last example in the question, one has to take $A=C_{-\bullet}(\Omega^d(X),\mathbb{Q})$ equipped with the degree filtration. Then $gr(A)=H_{-\bullet}(\Omega^d(X),\mathbb{Q})$ is going to be a ${\rm Pois}^d$-algebra.
Side remark: Observe that the story for $E_0$ is even more degerated. Nevertheless,deformation theory of $E_0$-algebras is still very interesting (for a discussion about this issue and its relation to the BV formalisms, see Costello-Gwilliam work-in-progress http://math.northwestern.edu/~costello/factorization_public.html - especially 5b and 5c).