added mpl refinement notion, still need to work on TCCs and compositionality