enhanced datatype translator; supports recursive datatypes;
updated docs;