nil cons(h,t)
empty(l) true false
head(l) error h
tail(l) error t