Strict type checking on booleans