Q# Counter and Theme Toggle - Parameterized Update - Qsharp Typing CST Test