[tlist] length, typed
[tlist] fold, eq, reverse
[tlist] foldr and map