Run example for type-check

  Added documentation for examples (why t-diagrams are ill-typed)
  Proposed attempt to fix the right nested tree (in example/documentation.txt)
  Updated TODO
Merge branch 'master' into dev