basically finished the analysis of operations in the sseq of a mixed simplicial algebra.