Add recursive and relationshiop matching to spec
Time for some README driven testing...
Add README examples
Add recursive matching

(and some refactoring/tidying)