Down casting "as", Comparing instances with "is"