refine list.all and list.any (close #87)