Tracking issue: Python bindings UX

[aborgna-q]

This is a tracking issue for improvements to the python API.

Documentation & repo structure

• #207
• #169
• #229

Issues

• #208
  E.g. from pyrs.pyrs import optimiser.
• #209
  It requires importing optimiser first.

More bindings

DAG queries

• #226
• #225
• #227
• #178

Matching and rewriting

• Expose rewrite primitives (SimpleRewrite, Inline*)
• Rewrite combinators / rewrite strategies.
• TASOBadger as a CustomPass. #185

Construction

• CQCL/hugr#946
• #303
• Control flow builder