Start of Circuit.hs with combinational circuits and interpretation as
boolean functions.