Generation of S-expression conversion functions from type definitions.