Make function paramaters immutable by default

Internals & Design
32

I think I can get most of the way with a package rather than a PR (even though the syntax will be slightly clumsier). I’ll put it on my to-do list.