Ajout possibilité de typé comme référence

Permet d'écrire :
lambda x : Nat *. !x;;
> λx : Ref (Nat). !x : Ref (Nat) -> Nat