Add support for user declared boolean variables

Created by: cor3ntin

As discussed in #542 and #782 we need to add a way to declare and manipulate booleans types in the language.

We want to prevent implicit conversion from int to bool