miscellaneous; some useful list functions; recording a few more data plumbing identities; working on maps definition