Type-checking for booleans has been added.