Q# Counter and Theme Toggle - Conditional Display - Qsharp Typing CST Test