Minor changes.
Type check of booleans in assignation and operations.
Boolean and Int type check for arith, rel, eq and cond operations.