Changed the grammar for comprehension sets so it resembles with Alloy. Updated the let bindings files in tests folder