Add type inference for is operator