List of identified issues

# Lexer

- **Implement bi-implication**
- **Implement Existential quantifier**
- **Implement Non-deterministic assignment**
- Change `NOT` token to be a keyword;

# Parser
- ** Better way to deal with negative numbers. This leads to a bug with the minus operation.**
- **Implement bi-implication**
- **Implement Existential quantifier**
- **Implement Non-deterministic assignment**
- **Inverse interval**;
- Save parsed text as an object for easier integration with the GUI;
- Better way of representing powers;
- Implement a better version of `*`;
- Parenthesis nodes might cause problems with restrictions;
- `[1,a` will match `,` with comma and not separator, might be an issue.

# Translator
- Save translated text as an object for easier integration with the GUI;
- **Inverse interval**;
- The way to deal with ';' at the end of box is not good. It isnt currently putting the ; that it needs.

# GUI
- Clear path once a new file is loaded.
- History of translations
- Persistent history or simple session specific history?;
- Must add extra scrollbars;
- Remove refresh button;
- Update Readme.
- Error handling
- Translation Errors;
- Closing File Load prompt when no file is selected.
- Tooltips;
- Explore PanedWindow instead of Notepage(?);
- Images for buttons(?);
- Improve visual quality;
- Make it accessible through main.py;
- Refactor Basic and File translation pages;

This is an umbrella list spanning the Lexer, Parser, Translator, and GUI, so begin by splitting the entries into focused issues. Inspect main.py and the Readme for the mentioned integration and documentation context; no tests or acceptance criteria are named, so each item needs a defined completion condition before implementation can start.

Written by the indexing model from the issue text.