Changing a field type to be a more general supertype