Almost done with the full rewrote. Changes: (1) closer to XSD 1.1 Datatypes specification; (2) typechecking dateTime terms, implementing 'constraints'; (3) use of rational terms for decimals, fractions, seconds.