atdd: recursive variants and records#397

Draft

elrandar wants to merge 9 commits intomasterfrom

alexandre/atdd-improvements

Commits on Dec 1, 2023

atdd: use alias this for variant with value, and improve construction
elrandar
committed
atdd: annot definition for type_shape (untested)
Gregoire Lionnet
committed

Commits on Dec 4, 2023

Commits on Dec 5, 2023

Commits on Dec 20, 2023

atdd: handle Optional and Default correctly
elrandar
committed