Remove unnecessary mmlValidTheory (update README slightly too).

The mmlvalidTheory was only a vehicle for efficient EVALuation of the
mmlvalid function, and we don't care about that any more thanks to
soundness.