Implementation of modified version of hobbs algorithm

@linas  It's still in progress, but it can do some basic resolutions right now, see Readme file for details.

Oh, and i you just need to return empty/non-empty, then just create something like (Node "this node is intentionally pointless")  or something like that. Or just a single AnchoeNode with that name.