Add symbolic evaluation for is_boolean/1