restore CP cut rules appendix
space hack :-)
reinstate text on macro-expressiveness
Cite Dardha et al in the conclusion.