Initial implementation of list abstraction