lists with node allocators, and bounded pointer tests

See the included README.md for a summary of changes.