Change the way of writing a extension method header
Change the way of writing a extension method header

- This subsection explains generic extensions WITHOUT using clause(s) first,
  and then explains generic extensions WITH using clause(s).
    The changed code is for the first part, and don't introduce using clause(s)
  in it is more suitable in this context.

lampepfl/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty