fixed some bugs up in creating CNFs, etc

so it turned out my code for creating new AndLists and OrLists didn't
let apply/unapply work properly, so I had to break out code into
companion objects. also cleaned up the code in those methods while I was
there.

also discovered that there was this FolEquals floating around causing
trouble. ultimately decided to have the parser treat that particular
expression as just another predicate, which tbh is probably what I
should have done form the start.

fixed up a thing in the inference rule builder where I was trying to do
a reduce without an initial value (which went about as well as
expected).

silenced all the outputs except for the printing of the error message
from Resolution (they were getting irritating).