toplevel: declare recursive value_t type