Pauls branch to extend conditions to include search and to add object equality

[paulratdollabs]

This adds the propositions extension to pre conditions and also adds an object compare predicate (same A B) which tests that the two objects are EQ.

A test was added that tests both capabilities.

The ebnf.w3c and railroad diagrams were updated.