fix leaks in slicing and ref counting in binop