Add base+input propositions to the Quarto games.