Lamda function additions
updating. Merge remote-tracking branch 'clemson/master'
commit for merge upstream
commit for merge
Merge remote-tracking branch 'clemson/master'
commit for upstream merge
Merge remote-tracking branch 'clemson/master'
added support for RESOLVE lambda expressions
commiting for upstream merge
Merge remote-tracking branch 'clemson/master'
merging changes for lambda update
Enforcing type checks when theorem matching.
commit for merge
Merge remote-tracking branch 'clemson/master'
commit for merge
Merge remote-tracking branch 'clemson/master'
Now applies theorems which are self-binding

Example: (|S| = 0) = (S = Empty_String)
Previously this would be ignored since it does not require a search.
Now any theorem which does not produce a match conjunction will attempt
to produce bindings from its own registry.
Will no longer add all order symbols for integer.

No longer adds >,>=, and < to the default set of integer operators.
This means you won’t be able to apply theorems containing < unless < is
in in the VC for example.
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE
merging upstream changes
Reverting inadvertent changes made outside of my package