An tailored structure command for producing Lake configuration data types.
It supports additional field annotations and generates additional metadata used
during serialization to/from Lean and TOML.
It is not a perfect superset of structure, but instead just the parts
that are / could be reasonably needed by Lake.