All function arguments should be const if not marked as `mutates`

[Zettelkasten]

Needs #74.
This means, for large non-mutates parameters, the compiler can always optimize them to be passed by reference without changing the semantics.