unified comb and seq Circuit types, carrying the proof of combinational around for when needed