feat: Allow associated types to be ellided from trait constraints (#7… #3255

Job	Run time
Create Release	33s
Update acvm workspace package versions	1m 0s
Publish acvm	0s
Publish ES packages	0s
Build binaries	0s
Update docs	7m 54s
Release End	4s
	9m 31s

Provide feedback