Digital elaboration

Still working on tuple assignment, but we can at least do `output <= input` for single pins.
nit: spacing.

Also, in the future, how will Attribute assignments be done?