Ajout de ident dans typing.ml, afin de représenter les identifiants de variable avec leur portée et leur type.