Significantly improved variable serialization.

"typeset -p" proves deficient for general-purpose variable
serialization, sadly. Replacement get_variable_binding() amends this, to
hopefully helpful future effect.