2-bit Counter - Myhdl Typing CST Test