Fix branch selection.  SlipperyNode now an abstract subclass of InnerNode.

SpacePropVar and ProofItem then are direct subclasses of SlipperyNode rather than InnerNode.