Counter and Theme Toggle - Datalog Typing CST Test