Improvement. A better type for the polarities of the pure literal elimination.
Improvement. A better type for the polarities of the pure literal elimination.

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp