The big commit we've been waiting for (in #1328).  Makes us use var_scope_t and var_visibility_t in place of the old variable scope scheme.