Add beginnings of propositional generator.