Renamed Circuit to CircuitDeclaration in the typechecker to avoid confusion.