Sorry for interfere, but this thread is so long and there was so many ideas, that is really hard to understand what features are proposed.
Can you give an example, how code is going to look like with proposed features? Small MWE, just to understand what we are talking about and how it differs from the current system.
I mean, for example, we have three files
#main.jl
module Main
include("a.jl")
include("b.jl")
export foo, bar
end
# a.jl
function foo end
# b.jl
function bar end
So, with this template, what changes should I made to use proposed features and why it is better?