Variable class (like tf.Variable) that supports eager mode

I've been looking at adding a tf.Variable like class, that would work in eager and graph mode (the variable op doesn't work in eager), and register itself in the execution environment. It's not terribly useful until we get eager gradient support, but it's not dependent on it either so there's no reason to wait.

Eager mode is easy, just have a field. For graph, we can store a Variable op, assign to it, but return/expose the return of the assign (it's the new value). The assigns can take the last assign as a control dep.

I've got a draft here I can PR, but I'm not sure how much the type system refactor would affect it. At a minimum I don't see a reason to merge before #160.

Inizia esaminando la bozza collegata di rn_variable e il refactoring del sistema dei tipi discusso nell’issue #160. Verifica come la variabile proposta rappresenterebbe lo stato in modalità eager e graph-mode e come si registrerebbe nell’ambiente di esecuzione. Il lavoro è completato quando una classe simile a tf.Variable supporta entrambe le modalità senza dipendere dal supporto dei gradienti in modalità eager.