Full type checking for expression evaluation

Implement IF statement

Initial commit, can interpret LET, PRINT and GOTO, expression evaluation works