Combinatorial species

#1Add examples to illustrate how to use ASTFunctor

Currently there is no clue how to use this class, which is apparently able to solve various complex problems.