Implement colon infix syntax
Drop pathset exploration
Update documentation

- This gets rid of instances of pathset exploration, drops XPath
  examples and many syntactic experiments.