Re-implemented TheorySearchNode
Fixed merge.
IT LIVES! (kind of) (Mk.1)