Support for polymorphic variants (basic as in deriving-typerepr)
Implementation isomorphic to sums
Function to initialize form late
Add config option ?annotation; reorder ?configs parameter for content.
Hidden values

Addendum: Pathed_config.hidden
Bugfix for nary variants.
Bugfix for json_of_typerepr for variants