Further improvements

[Zelatrix]

Further improvements tht=at could be made to this system in order to verify more complex conditions, but that have not been added here due to time constraints include:

• while loops
• Functions calls and declarations
• return keyword
• Strings