local operations passed as an argument to realizations no longer crashes
Translator fix for operations passed as parameters to realizations
Merge pull request #135 from yushan87/cpsc372fixes

Cpsc372fixes
god. This shouldn't be permanent. Needs more testing -- but at least it gets rid of that ridiculous global 'enhanced call' map
looking alright so far.
removed the now unused enhancement call map
Merge pull request #137 from Welchd1/translator-call-fix

Translator call fix
decreasing clauses for loops are now required
changed the rule in the builder as well
added replaces method for CharExp and StringExp. PExp now converts CharExp/StringExp to PSymbol
set the math type of character string to Str(N) and characters to N
fixed strings in RESOLVE and added a toString method to ProgramCharExp, ProgramStringExp and StringExp
Merge pull request #136 from yushan87/cpsc372fixes

Cpsc372fixes
don't print the translated java code to std_out
converted escaped quotes to their HTML equivalent
Merge pull request #138 from yushan87/fixes_for_webide

Fixes for webide
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