compositionality-completeness

reduction for tso is completed; the compositionality and completeness
results are in.