Code generator for the serialization of Options etc.