parser only impl. of `exists` type exprs

    add support for `exists` into parser;
    less than ideal, but implements the feature fully, almost safely

    add surface syntax for `exists`

    add test cases for `exists`
add AST node type for `exists`

    namely ExistsT

    and use it in parsing and translating said construct

    also, simplify ast-rm-VarT