Changed type of Successor.

The return type ([URL],[URL],a) only permitted one output state per tree
level instead of one per child node. The return type now is
([URL],[(URL,a)])
Added comments.