pretty good so far
woo! Boolean_Theory gets a tree built and passes population. One thing that leaves a bad taste in my mouth is my solution to the typeTheoremUniversalVariables method -- I'll find a better way to handling that...