Merge typing of expressions and formulas #3514

Job	Run time
EasyCrypt compilation (nix)	1m 33s
EasyCrypt compilation (opam)	1m 13s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (unit)	1m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 53s
Check EasyCrypt Libraries (stdlib)	5m 2s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 16s
Check EasyCrypt Libraries (examples)	3m 2s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 23s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 48s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 42s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 52s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 35s
Check EasyCrypt External Projects (set-status)	4s
Notification	5s
	1h 6m 45s

Provide feedback