class extension nlist{x}

   two_heads: nlist{x} := nlist(head, nlist(head, tail))

end
