toc(Secs(x))               = Toc(titles(x))
titles(Cons(a,x))          = Cons(exT(a),titles(x))
titles(Nil)                = Nil
exT(Sec(Title(x),Body(y))) = Title(x)
