Fix recursive type definition

js_of_structure_item now goes through the entire list provided by Tstr_type tl. An example of recursive module use also included (tests/types.ml)