Merge pull request #947 from hacspec/no-default-params-traits

Merge pull request #947 from hacspec/no-default-params-traits #2830