Add List.take and List.drop, unproven, for convenience in benchmarks