Add an example of defaulting fields in records defined in the idl

See the example in idl_test.ml