Support simple down-casting to sub-types that don't contribute methods