add implicit_shape_spec_list, remove 'post' tree walk, update TODO