add expression to compile booleans
add compiler for expression
adding first version to compile a if statement
add comments
improve Typechecker
improve syntax and typechecker