Add elaboration support for quantifiers.

Fixed a lexing bug (missing break in switch).
Fixed a parsing bug (actually parse bind exprs).