improved the grammar. Now it has 2 versions for the let scenario.Added the following patterns: Absence, Existence, Bounded Existence. Updated the tests folder. Still needed some more test files.