Fixed i226

http://gsd.uwaterloo.ca:8888/question/948/unary-minus-generated-incorrectly-for-alloy42
Merge branch 'develop' into i226
Fixed i74

http://gsd.uwaterloo.ca:8888/question/338/problem-with-translation-of-abstract-clafers-in?answer=1004#answer-container-1004
Fixed i188

http://gsd.uwaterloo.ca:8888/question/803/integer-values-that-repeat-disappear
Merge branch 'develop' into i74
test case from i74
merged with develop
Added testcase for i239
Merge branch 'develop' into i226
removed unnecessary exports
Cleaned up implementation
Fixed small bugs from previous commit
refined a test case and added another one for i188
added a test case for i226
Merge pull request #25 from gsdlab/i226

Fixed i226
Removed extra test file and switch order for (-1) when given an unary minus
Fixed bug where afm-check did not check for '*', added test file, and cleaned up implementation
Merge branch 'develop' into i199
Merge branch 'develop' into i188
Made foldMapIR consistent with iFoldMap