Allow generics over values is always false. Use the null projection type via the ? suffix.

Value construction using new is always allowed.

So these options are ripe for gc.