Add TranscriptVar trait (circuit gadget)

[arnaucube]

Currently we only have defined the trait for native Transcript, but we would need to define also a TranscriptVar trait which follows more or less what we are using already in PoseidonTranscriptVar but as trait.