fixup! Parse existentials

Author: coord-e

src/annot.rs

@@ -617,7 +617,7 @@ where
                             kind: TokenKind::Dot,
                             ..
                         } => break,
-                        t => return Err(ParseAttrError::unexpected_token("., or ,", t.clone())),
+                        t => return Err(ParseAttrError::unexpected_token(". or ,", t.clone())),
                     }
                 }
                 self.formula_existentials.extend(vars.iter().cloned());
@@ -658,14 +658,6 @@ where
                 };
                 Ok(sort)
             }
-            //TokenTree::Token(
-            //    Token {
-            //        kind: TokenKind::Gt,
-            //        ..
-            //    },
-            //    _,
-            //) => {
-            //}
             TokenTree::Delimited(_, _, Delimiter::Parenthesis, ts) => {
                 let mut parser = Parser {
                     resolver: self.boxed_resolver(),