rough in a bindlink validation call.
Implement the bindlink validator
shuffle around the validation code some more
move the clause extraction code
More validation refactoring
Added documentation for what just happened.
Merge pull request #1170 from linas/pand

Refactoring of BindLink validation/syntax-checking code.