Supporting import in extension method blocks

[som-snytt]

A previous proposal was

extension (import x: X) def f = x.y

Proposal: Simple scope injection via import/export parameters

Motivation For motivation see: PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function) Proposal I propose that we can annotate an argument with the keywords import / export to cause an implied import/export of the annotated argument’s namespace inside the body of the method/class (arguments can be given or explicit). Classes Interaction The following code will be simply rewritten. Before Rewrite has import/export arguments class Scope { val a : Int = 0 } class ExtraS…