proof of translation of names (only variables) done.

I need a typig relation to do that. For the moment I put a trivial one for variablenames, but I will need the real one for names (arraysand records).