val add: 'a -> 'a list -> 'a list
val contains: 'a -> 'a list -> bool