[Breaking API change] Using a more natural order of types in the Circuit data constructor.