TDL - Model theory take 2

Hi

I've not yet looked at your integration, will do tomorrow.


Latest version of MT, basically complete but I need to do a review.

I think I should move the explanation of idiom P and idiom D from the terse
appendix to the slightly friendlier format of the main text.

The Union appendix needs total rewrite.

Jeremy