added recursive TS type generation for lists, sets & maps
revised comments
fixed a few bugs