Revert typeclass additions #4266

Job	Run time
EasyCrypt compilation (nix)	2m 30s
EasyCrypt compilation (opam)	2m 59s
Fetch EasyCrypt External Projects Matrix	5s
Check EasyCrypt Libraries (unit)	3m 59s
Check EasyCrypt Libraries (examples)	5m 26s
Check EasyCrypt Libraries (stdlib)	6m 33s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 30s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 57s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 26s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 4s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 5s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 40s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 15s
Check EasyCrypt External Projects (set-status)	2s
Notification	6s
	1h 23m 37s

Provide feedback