isVoid->isAnything
Updated test for #995
Rework optim for #1051: only do it for covariant type params