Implement List.filter_ok