% Type of lists list : type. nil : list. cons : nat -o list -o list.