Make function arguments immutable again

[marijnh]

Currently, when you assign to an argument, the compiler magically inserts a local value that's a copy of the argument (which is still owned by the caller). This is probably too magical, and should be removed.