Make sure mutation markers are there when needed

[kyouko-taiga]

Mutation markers should be required by the compiler on every expression appearing as argument to an inout or set parameter.

For example, this program should not compile:

public fun main() {
  var x = 0
  x += 1
}

A mutation marker is needed on the LHS of the increment.