A simple processor that takes a field name and generates an expression for the contents of that field
The recursive counter-part to the previous. Additional arguments are the type name and the a path to make recursive calls
Module types to specify an extension that does something with a record type