Added "!" in front of variables to mark freshness.
more progress on !X; minor unrelated stuff
new fresh it working
fixed location information for unbounded variable error message
fixed bug in Variable transformation which resulted in information loss
reverted change on CheckVariables
removed dead code
!X works on a sample example
repalce IntToken#fresh with new fresh
Fixing ambiguities related to ! in front of variables.
modified tutorial and samples to use ! instead of fresh
fixed bug with readResolve for ConcreteCollectionVariable
minor refactoring
Forgot to change a few places.
removed dead test
test for !X
minor
removed K-FRESH
added comment
minor