began atom/sum constructor changes
Synthesizable.agda beginning to incorporate the Atom changes

Conflicts:
	agda/src/PiWare/Synthesizable.agda
finished synthesiable instance for sum types, with padding scheme and atom definition
sum smart constructors and normal constructors in Circuit/Core and Circuit.agda
adjusted samples and plugs for AtomInfo
Merge branch 'atom-sum-constructor'