implemented ability to detect whether a tree matches a particular symbol definition

This will be important for building instances from semtrex matches, because we want to make sure that you can't build semantically incorrect structures.
doxygen run
.gitignore html/ folder (contains gh-pages branch)