Add the omitted documentation for the List type.

Also "redo" the mistakenly updated TODO in builtin.go; it's still not
finished.

Fixes #19 (again).