Transformer which adds the ability to automatically insert functions to convert instances of polymorphic data-types to and from well-partitioned join-lists.
Given a program, examines each data-type and derives and inserts a flat-data type and functions to convert to and from join-lists for each data-type.