Adding Upcasts in the language