Changed Architecture internals to RWS
Restructured Board/Architecture

(Terminal wasn't updated, so it's broken in this commit.)
Crude terminal version fixed

Problems remaining: importing both Terminal and Board leads to a
conflicting definition of "Pins". TypeFamilies is somehow responsible
for this.
Architectures are State/AlgebraicDT once again.