Files to check compiler

Signed-off-by: Gustavo Toshi Komura <gtk10@c3sl.ufpr.br>
Last modification on the compiler to accept "boolean"

Signed-off-by: Gustavo Toshi Komura <gtk10@c3sl.ufpr.br>