parser passes some basic tests, need to add quantifier support