Q# Counter and Theme Toggle - Basic - Qsharp Typing CST Test