Typo in `Function.Bundles` L185, L195

[jamesmckinna]

In each of:

• agda-stdlib/src/Function/Bundles.agda

  Line 185 in 6d6c6df

  renaming (isCongruent to to-isCongrunet)

• agda-stdlib/src/Function/Bundles.agda

  Line 195 in 6d6c6df

  renaming (isCongruent to from-isCongrunet)

should have Congrunet $\mapsto$ Congruent? Introduced in #1895 AFAICT.