v0.25.9

0.25.9 - 2022-07-11

Features

• • add generators for variants, see #1900
• Add VariantTag and remove VariantUnwrap, see #1936

Bug fixes

• Fixed IncrementalRenaming to rename operator parameters, see #1903

Documentation

• Update HOWTO on types with new records and variants, see #1940
• Update the tutorial on the type checker, see #1942
• Add manual page on new variant types (see #1930)
• Update ADR002 with the new syntax for variants, see #1922