Validation tests now include test on expressions.
Typing of && || and !.