The following question is related to my previous post on co-$A_\infty$ spaces (http://mathoverflow.net/questions/50298/co-a-infty-spaces), but goes in a somewhat different direction. 

<b>Some Background: </b>

In trying to classify $A_\infty$ structures on a space $X$, one is led to obstructions living in Hochschild cohomology. One way to get this (I think), is to look at the tower

$$
\cdots \to A_n\text{-spaces} \to A_{n-1}\text{-spaces} \to \cdots \to A_2\text{-spaces,}
$$

and one notes that the $n$-th layer is given by $\Omega^{n-2} F(X^{[n]},X)$, which is  the $(n-2)$-fold loop space of the function space of based maps from the $n$-fold smash product of $X$ to $X$. Then the $k$-invariants (aka the maps inducing the $d^1$-differential in the homotopy spectral sequence)
$$
\Omega^{n-2} F(X^{[n-1]},X) \to \Omega^{n-2} F(X^{[n]},X), \qquad n \ge 2
$$
can be computed explicitly and the formula for these is reminiscent of the Hochschild cohomology differential. More, precisely, if $X = \Omega Y$, and we look at stabilized 
versions of these function spaces, what I think one gets is the differential for topological 
Hochschild cohomology of the "group ring" $S[\Omega Y]$ (where $S =$ sphere spectrum; please correct me if I'm bungling this). 

<b> My Question:</b>

<i> What is the algebraic structure that arises when one tries to do deformation theory of co-$A_\infty$ (or suspension) structures on a space? </i>

In this instance one has a tower as above, with "$A_n$" replaced by "co-$A_n$" at the $n$-th stage. But now the $k$-invariants in this case (at least in the stable range) are maps of 
spectra of the form:
$$
\Omega^{n-2} F(X,W_{n-1}\wedge X^{[n-1]})  \to \Omega^{n-2} F(X,W_n \wedge X^{[n]})
$$
where $W_n$ is $(n-1)!$-copies of the $(1-n)$-sphere spectrum (yes, this is related to the Goodwillie tower of the identity functor). 

So, my question amounts to the following: 

<i> What is the algebraic structure associated with this $k$-invariant? </i>Is it some kind of "co-Hochschild" theory (whatever that means)
of co-algebras? (where the co-algebra in this case is $X = \Sigma Y$).