Making type changes transparent