Trans Expr.Var
Implement translation