Fixed: Res operator didn't handly no-free-vars case correctly.

Fixed: Formula::Atomic::subjective().
Fixed: KnowledgeBase::ReduceModalities() used wrong level of kCons.

There's still seems to be something wrong, cf. test-introspection.txt.