Cleanup special symbol convention
Improve documentation
First tested version of TIPS+DC on a tree