corrected type annotations generated for higher ranked field updates
corrected type annotations generated for higher ranked field updates

mmhelloworld/frege,ppelleti/frege,ppelleti/frege,mperry/frege,scrotty/frege,mmhelloworld/frege,sjfloat/frege,scrotty/frege,oppai/frege,oppai/frege,mperry/frege,mperry/frege,vsts/frege,mmhelloworld/frege,ppelleti/frege,vsts/frege,scrotty/frege,oppai/frege,vsts/frege,sjfloat/frege,sjfloat/frege