Digital elaboration

Still working on tuple assignment, but we can at least do `output <= input` for single pins.
Pretty much. That said, it illustrates the process nicely for the demo more than just calling a generic `doOptimizations()`.