ProofChecker now extends NonRecursive.

Made real walker instead of WalkerId.
Removed the walkSpecial type kludge.
Cleaned up some rules.

More checks for right type for walkers.
Code for @res and @clause is now cleaned up.
Got rid of AnnotationWalker.