RFC: Introduce ml_program dialect and top-level ops (proposal v2)

We will get to it eventually as part of our ml_program integration effort, so if it’s not blocking you no need to do it.