Implement len(K), K+(T,), K[i], K[-i]