Add Enable parameter to binary_expression, and similar.

This helps reducing circular dependencies and instantiation chains.
"finish" fmpz_polyxx (to some extent...)