Initial draft of README file explaining kernel functionality.
Rewrote predicate evaluator to use TCL's expr facility.

This means resource predicates are more complete: all PML resource
expressions are accounted for except qualifiers.
Fixed memory leak.
Ignored README which is derived from README.md