feat(library/standard/list): add many basic facts and operations