Synthesis Modules

These modules take simple data as input and produce aggregate data types
as output.
