[README] Add a few goals to the README.
[Grammar] Support not predicate `!`. It closes #3.
[Grammar] Support and predicate . It closes #2.