Simple Counter - Inferno Typing CST Test