Generates code from type specifications for preprocessing.
