partial signature for random access list; partial implementation of dense rlist
head and tail
lookup implemented
update implemented