fixed typo, which introduced subtle bug that manifested itself only with higher ranked functions
corrected type annotations generated for higher ranked field updates
instPatternBound did work only for strict arguments