Boolean semantic errors now checked in assignment.