Improve handling of polymorphic types, wrt updatingReader

4 files changed