generate a specific default inner constructor using the field types, in
addition to the Any-typed constructor we currently generate.

fixes #7071