Fixed user-defined parens bug in forall/exists rendering.
Added syntax error recovery.