Digital elaboration

Still working on tuple assignment, but we can at least do `output <= input` for single pins.