sum smart constructors and normal constructors in Circuit/Core and Circuit.agda