Constant function arguments

@StefanKarpinski
I wrote up an extensive new topic about this:
see https://discourse.julialang.org/t/8686
I hope I’ve got the idea correctly.