Extend Yarel validator to check booleans

[st159231]

The validator needs to work like a type-checker. For example: inc can't be applied to a boolean type and tof cannot have any of its three arguments of type int. These constraints must propagate inductively to every synctatical construct.