Add 'smart cast' instanceof