1 List = FOL +
2 types list 1
3 arities list :: (term)term
4 consts Nil :: "'a list"
5 Cons :: "['a, 'a list] => 'a list"
6 end