So, I've started booting into Linux, where I don't have Chrome installed, which I use for Hulu.  ("Hulu" is the Hawaiian term for "time suck", apparently.)  But it's also harder to go fetch my local copy of the spec.

Value discard is just called a conversion.  Not to mince words, but the spec already minces, dices and cuisinarts them.

```
If e has some value type and the expected type is Unit, e is con-
verted to the expected type by embedding it in the term { e ; () }.
```

Off whom would I piss if I opened a ticket to change the phrase "value discard" to "value embedding"?