nil : intlist :: : int * intlist -> intlist