Specialize away processes' gate parameters.
Make synthesized procedures carry their own names.
Do codegen on processes, not just behaviors.
Generalize class constraints on simplifiers.
Lift simplify to operate on processes.