Changes

Summary

1. corrected some confusing terminology / notation
2. Ramsey with multiple colours and arbitrary exponents
3. a few new and tidier proofs (mostly about finite sets)
4. clarified signature: store full theory name;