Implemented a new check for arithmetic with Booleans.