Even more clarification on Type piracy

Here is an example of not re-exporting.

julia> module A
         export c
         *(a,b) = 4
         c = 3 * 3
       end
Main.A

julia> using Main.A

julia> c
4

julia> 3 * 3
9

Without the Base., the overwriting does not propagate