- charpoly(): lambda is now a "const ex &" instead of a "const symbol &"