several small fixes

 * rhizome dependency removed for now
 * find-symbols now works correctly with true/false constants
 * truth-table relation scheme enhanced with :result in vector
   and the original formula
 * reverted implication -> converse implication (rimpl, nrimpl)