Clean some codes
Add test case
Add .gitignore
Add quantifier support
Tiny rewrite
Tiny rewrite
Tiny rewrite