Remove propositional_letter. use raw std::string instead.