Define crypto abstractions in terms of traits

[jschneider-bensch]

          Given that we want an abstraction, we should have traits to make it easier to implement this again for other backends.

But that's not urgent. Let's open an issue for this.

Originally posted by @franziskuskiefer in https://github.com/hacspec/hax/pull/459#discussion_r1469399560