Un-modified mutable function argument should be a compile error

Brainstorming
3

cf. Zig and Liveness of Code - #15 by mnemnion