fix binary op type bug for && and ||

Merged Philipp von Spinn requested to merge semanic_check_boolean into master

Merge request reports