Cons -- feature used to define abstract Cons cellsA Cons is a ref to a cell that contains a head and a tail