Returns the Term bound to variable in substitution, or null if variable is unbound (or this is not a Yes solution).
null
Same as valueOf, but looking variable up by name rather than by Var instance.