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.
facility declarations no longer crash if they are types other than ProgramIntegerExp
Moved EntryTypeQuery to the inner query package
Only deal with actual types and don't deal with entry types passed in to the concept realization
VC Generator no longer crashes with empty math types
called a method rather than duplicate code
correspondence proof rule
representation initialization proof rule
obtained the concept requires clause
added variable initialization ensures for the initialization rule