Apply cloning substitution to datatype ctor types #3655

Job	Run time
EasyCrypt compilation (nix)	41s
EasyCrypt compilation (opam)	2m 45s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (unit)	2m 55s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 35s
Check EasyCrypt Libraries (stdlib)	6m 52s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	15m 4s
Check EasyCrypt Libraries (examples)	4m 44s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	3m 52s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 15s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 51s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 3s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	22m 21s
Check EasyCrypt External Projects (set-status)	4s
Notification	6s
	1h 23m 11s

Provide feedback