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.
minor fix to get Murali's assignment generating VCs
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 pull request #143 from yushan87/cpsc372-fixes

minor fix to get Murali's assignment generating VCs
Merge branch 'master' of https://github.com/ClemsonRSRG/RESOLVE