Casting within inheritance hierarchies