documentation
verification of recursion in data types
documentation