Started implemented an idea: syntactic tree is a general and abstract structure. Define particular `syn` and `eval` for the forests you want to work with. Compose can be defined over syntactic trees in an abstract way.