Generalized Tuple reference generation, added more constraints to IO reference types, renamed TH/Generate to TH/Records, improvements in documentation.