Relation-aware circuit construction

[federicobarbacovi]

The construction of AcirFormat is independent of the relations used by the circuit. Ultra and Mega have different relations and it shouldn't be the case that we end up with Mega relations in an Ultra circuit. This issue is about coming up with a robust way to make AcirFormat, and more generally circuit construction, relation aware.