[[ ExecValue-ization ]] ExecValue brought to more places where converting to a value ref is not necessary