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
Added a new utilities class and moved the utilities methods there
forgot to add the Utilities class
modified the variable declaration rule to deal with record variables
enhancements realizations now adds the concept and enhancement requires clauses to the things it can assume
added proper header for correpondence/intialization rule
VC Generator now generates VCs for concept realizations
fixed a couple of erroneous locations
conventions and correspondences only appear if the operation is not local
minor fix
no need for formal to actual for facility parameters after applying facility dec rule
actually we do need the formal to actual thing, so adding it back. also we take care of the case where the formal could already be in our list by creating a question mark variable