ignoring more LaTeX temp trash, also build tex files from lagda
Makefile in place of generate-agda-tex
Added Unit Synth instance, TODO constant gates
Added constant gates and used in the toggle sample circuit