feat(library/definitional/util): add `is_recursive_datatype` auxiliary function
test(tests/lean/run/forest): define brec_on for forests

Almost everything explicit to get an idea of what needs to be generated automatically.
feat(library/definitional/util): add is_inductive_predicate auxiliary predicate