FEATURE/MEDIUM: gitignore: Add a gitignore
FEATURE/MEDIUM: rules: Add "FOR ALL" and "EXISTS" rules