reorganizing the mpl theory, adding new compositionality results, redid some of the proofs and working on the TCCs