Formalize counter definition, make 8 bit adder