Proposal: Consider structs with explicit local type parameters as local for impl

[Centril]

@mcy

I seem to recall @Centril wanting this?

Oh yeah, very much so:

• Idea: Simpler method-syntax private helpers - #3 by Centril
• Idea: |> operator for postfix calls to macros and free functions - #2 by Centril