Quantifier is a library function instead of a macro
Remove wrongfully commited parser