tuple_details -> tuples { details } ; split elem_store, base_tup