feat(library/standard/list): add more theorems
feat(libraries/standard//list2): add facts about insert