IR check val field assign

OK Never mind, then. Don't write a separate `implicit val`, that's just noise. I thought scalac was fine with `implicit` lambda parameters.