split schema

I’ve updated the “split” schema branch a bit, and while there may well
be some details in need of work, it seems to basically work.

If someone wants to test it/take a look, now would be a good time.

Goal is both that it is equivalent to the trunk version, but that it
be easier to edit going forward, with the logic that after 1.0, I
don’t expect much to change, except maybe term names (or variables or
types).

Bruce

Validator.nu, RNV and Jing all seem to work.

Rintze