Frank Mittelbach wrote:

> so in short I personally think the names are nice enough, what would be need
> to work out better in documentation is that both _toks and _tlp hold tlists as
> their content but offer different manipulation possibilities and since you
> can't easily provide the "toks" ones within the tlp family the extra type is
> kept.  Perhaps it should be pointed out that one should restrict the use of
> _toks to internal situations where this processing is needed

Overall, sounds sensible. Now Will just has to write it :-)
-- 
Joseph Wright