Downcasting with interfaces and classes