Define List.and and List.or