Added some stuff about rewriting rules and tree descriptors, fixes #8