Receiver can also have underscore as parameter name

[anton-trunov]

PR #283 does not mention that.

It can be useful because messages can be simple opcodes:

message(42) Foo { }

contract Bar {
  receive(_: Foo) { ... }
}